L.C.J. Prop, A.M. van der Laan, C.S. Barendregt & C. van Nieuwenhuizen