Telephone directory, with title, Telephone directory, Republic 7500, Executive 6300, July-Nov. 1947; issued by Office of Buildings Management, Communications Office.