Practical coal mining - Mason, Ernest ed (Coal mining series, 1954)