85th Congress, pocket congressional directory, Jan. 1957; compiled under direction of Joint Committee on Printing.