Describir: Theory and practice of mine ventilation,