Padres: [editar]. Diccionario Biográfico de Chile ed. XIII p. 1234. Biografías de Chilenos de Armando de Ramón N. 2923.