1. An introduction to inductive definitions. In: Handbook of Mathematical Logic (editor), North-Holland Publ. Comp., Amsterdam, 1977, pp. 739–782.
2. and , Consistency of the unrestricted abstraction principle using an intensional equivalence operator. In: To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism ( and , editors), Academic Press New York, 1980, pp. 62–98.
3. Admissible Sets and Structures. Springer-Verlag, Berlin—Heidelberg—New York, 1977.
4. Lattice Theory. A.M.S. Colloquium Publications. XXV, Providence R.I., 1967 3.
5. The truth is never simple