Technical record of design and construction, Boysen dam and powerplant, constructed 1947-52 [with list of references].