Coast and Geodetic Survey bulletin, Aug. 31, 1932; no. 207.

Tools