Miranda
Dieser Familienname, so Dr. Alvaro de Azevedo, stammt von João Lourenço de Miranda, einem der edlen Gefährten Zargos. Es gibt auch andere Mirandas, die von João Machado de Miranda abstammen.