1. (ed.) Handbook of Mathematical Logic. North-Holland Publ. Comp., Amsterdam 1977.
2. A system of axiomatic set theory. In: Sets and Classes (ed.: ), North-Holland Publ. Comp., Amsterdam 1976, pp. 1–121.
3. Forcing et négation de l'axiome de fondement. Acad. Royal Belg. 1972, pp. 2–53.