P. D. Thomas, “Use of the Geodimeter by the Coast and Geodetic Survey”, IHR, vol. 1, Jun. 2018.