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