Publications. Supplement to List of publications, Bureau of Mines, July 1, 1940-June 30, 1941, with subject and author index.