ROCHA, José Joaquim da. Memória histórica da capitania de Minas Gerais. Belo Horizonte, MG: Revista do Arquivo Público Mineiro, 1897.