Practical Mine Ventilation 1922 J.R. Robinson mining history first w/map.