Rock drilling; by C. E. Nighman and O. E. Kiessling.