Books about Mine pumps -- History (sorted by popularity)