Diccionario Histórico de Chile p. 150. Biografías de Chilenos de Armando de Ramón N. 1700.