House reports on public bills, 92d Congress. 758. Efficiency and effectiveness of Renegotiation Board operations. 6th report by Committee on Government Operations; Dec. 16, 1971.