Código penal de la República de Costa Rica : emitido por el Gran Consejo Nacional. (Imprenta Nacional, 1880)