Padres: [editar]. Diccionario Biográfico de Chile ed. IX p. 1003.