References for Miguel Infante de Portugal * de Castilla
D.Schwennicke:
Europäische Stammtafeln, Vol. II, Tafel 65.
Marburg, 1984