Renegotiation act of 1951 as amended through July 3, 1962; compiled by Renegotiation Board.