International Gas Union. Committee on Production of Manufactured Gases.