B.H.B. van Benthem, T.I.I. van der Kooi, T.E.M. Hopmans, J.C. Wille