Books about Mining machinery -- History

• 

  Mine Pumping in Agricola's Time and Later