edited by J.H.van Lint edited by Ed van Hinte. edited by Austin Flint edited by Ed Van Hinte edited by I.Halling edited by Sam Taplin edited by A. Poulin edited by Ian Luna edited by Jian Wang edited by O. S. Hintz