Coast and Geodetic Survey bulletin, June 30, 1932; no. 205.

Tools