Coast and Geodetic Survey bulletin, Oct. 31, 1930; no. 185.

Tools