Coast and Geodetic Survey bulletin, July 31, 1930; no. 182.

Tools