Diccionario Biográfico de Chile ed. XIII p. 702.