[63] João Antunes foi nomeado architecto da Casa Real, por fallecimento de Francisco da Silva Tinoco, em 18 de julho de 1669.--«Dictionnaire historique e artistique de Portugal» par le conde de Raczynchi.

[64] Documento n.º 6.