Principles and practice of mine ventilation : with a consideration of deep mine problems, explosions, fires - Penman, David (Griffin, 1947)