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