The principles, construction, and application of pumping machinery (steam and water pressure) : with practical illustrations of engines and pumps applied to mining, town water supply, drainage of lands, etc. ; also economy and efficiency trials of pumping