Style manual. Authorized changes in and additions to [United States Government Printing Office] style manual [Nov. 1935], no. 1.