Padres: editar. Diccionario Biográfico de Chile ed. XIIX p. 1080.