References for Miquel de Portugal
D.Schwennicke:
Europäische Stammtafeln, Vol. II, Tafel 43.
Marburg, 1984