A treatise on gas-works and the practice of manufacturing and distributing coal gas