Mine Pumping in Agricola's Time and Later by Multhauf, Robert P.
 is a Project Gutenberg book, now on Github.