Official gazette. Official gazette of Patent Office, containing patents, trade-marks, and designs, issued Sept. 1-29, 1942; v. 542, no. 1-5.

Tools