Gasoline. Production of gasoline from coal and other products, hearings before subcommittee, 77th Congress, 2d session, on production of gasoline, fuel oils, plastics, rubber, and other materials from coal and other products, June 17-July 15, 1942.