Drills (tools). Permissible electrically operated hand-held coal drills; by L. C. Ilsley, E. J. Gleim, and H. B. Brunot.