Boletins da D.G.E.M.N. - Direção-Geral dos Edifícios e Monumentos. See original record