Technical record of design and construction: Enders Dam, constructed 1947-51 [with selected bibliography.]