Industrial. Diccionario Biográfico de Chile ed. VII p. 922.