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