History of the Royal Sappers and Miners, Volume 1 (of 2) From the Formation of the Corps in March 1712 to the date when its designation was changed to that of Royal Engineers