António Francisco Lisboa o Aleijadinho (Publicacoes da diretoria do patrimonio histórico e artístico nacional ; 15, 1951)