Treasury Bulletin (July 1957) by United States Dept of the Treasury