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