Official Congressional Directory: [92nd] Congress (US Government Printing Office, 1972)