Official gazette. Official gazette of Patent Office, containing patents, trade-marks, and designs, issued May 5-26, 1942; v. 538, no. 1-4.