^"Deputados: Biografia - Jorge Pinto" (in Portuguese). Lisbon, Portugal. Retrieved 27 March 2024.
^Mascarenhas, João Mário; António José Telo (1997). "Américo de Deus Rodrigues Tomás". A República e seus presidentes (in Portuguese). Retrieved 27 August 2013.