On rock drills and hydraulic machinery for mines /
Darlington, John,engineer.
Pulborough : Dragonwheel,
2002.
Originally published in Ure's dictionary of arts, manufactures, and mines, 7th ed. London : Longmans, Green, 1878 (v. 2 & 3) and 1879 (v. 4).
Rock-drills
Mining machinery