Compendio de laboreo de minas - Heise, F. (Labor, 1948)