Official gazette. Official gazette of Patent Office, containing patents, trademarks, and designs, issued Oct. 1-29, 1940; v. 519, no. 1-5.

Tools