Metal mines and mining. Suggested hoisting-signal code for metal-mine shafts; by D. Harrington and J. H. East, jr.