Introduction to mining - Bohuslav Stoces (Pergamon press, 1954)