Ovesná, G. (2017) “The history of mine surveying and mining maps”, Geodesy and Cartography, 43(3), pp. 118–123. doi:10.3846/20296991.2017.1371651.