1. and , Models and Ultraproducts: An Introduction. North-Holland Publishing Company, Amsterdam 1971.
2. Subdirect unions in universal algebra
3. The Algebraic Structure of Mathematical Theories. Translated by Joanne S. and John R. Wallace, Mimeographed.
4. The completeness of the first-order functional calculus
5. and , Cylindric Algebras. Amer. Math. Soc. Symposium on Pure Mathematics II: Lattice Theory. Providence, R.I. 1961, 83–113.