edited by J.H.van Lint edited by Ed van Hinte. edited by Ed Van Hinte edited by Austin Flint edited by I.Halling edited by O. S. Hintz edited by Sandra Pinto edited by Vivian Li edited by A. Poulin edited by Brian Dilg