J.G. Verwer (Jan) and J.M. Sanz-Serna
R.D. Gill (Richard)
N.M. Temme (Nico)
L.L.M. van der Wegen
J. Grasman (Johan) and R. van der Horst (Rob)
P.J.W. ten Hagen (Paul) and J. Derksen
P.M.B. Vitányi (Paul)
J.A. Bergstra (Jan), J. Heering (Jan) and J.W. Klop (Jan Willem)