1. Some extensional term models for combinatory logics and λ-calculi. Ph. D. Thesis, University of Utrecht 1971.
2. Combinatory logic and the axiom of choice
3. Combinatory logic and the ω-rule
4. , , and , Degrees, reductions and representability in the λ-calculus. University of Utrecht, Preprint 22 (1976).
5. The type-free lambda-calculus. In: Handbook of Math. Log. (ed. ) North-Holland Publ. Comp., Amsterdam 1977.