Technical record of design and construction, Jamestown Dam, constructed 1952-53 [with selected bibliography]. Denver, Colo., 1957.

Tools