Mine pumps

Mine Pumping in Agricola's Time and Later

Robert P. Multhauf

The Miner's Friend; Or, An Engine to Raise Water by Fire

Thomas Savery