Código de Minería de la República de Chile: promulgado el 20 de Diciembre de 1880, para que rija desde el 1 de Enero de 1889 - Vera, Robustiano (De los Debates, 1888)