Diccionario Biográfico de Chile ed. II p. 76. Biografías de Chilenos de de Ramón p. 137.