Hrvatski opći leksikon (2012)
Hajredin (15/16. st.), tur. graditelj; osnivač graditeljske škole. Džamija sultana Bajazida u Istanbulu ...

Hrvatski obiteljski leksikon (2005)
Hajredin (15/16. st.), turski graditelj ...