Sixth International Conference on Gas Discharges and their Applications 8-11 September 1980 (IEE conference publication,, 1980)