Books about Mine pumps -- History

• 

  Mine Pumping in Agricola's Time and Later