Public laws, 80th Congress. 707. H. R. 5112. act to amend Civil service retirement act of May 29, 1930. as amended.