Senate document:. no. 87, 92d Congress, 2d session, Report of the Secretary of the Senate from January 1, 1972, to June 30, 1972 [Serial 12979-2].