Universal Algebra and Lattice Theory: Proceedings of the Fourth International Conference Held at Puebla, Mexico, 1982 (Lecture Notes in Mathematics, 1004)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Boolean Constructions in Universal Algebras
Topological Model Theory (Lecture Notes in Mathematics, 769)
Model Theoretic Algebra: Selected Topics (Lecture Notes in Mathematics, 521)
Varieties of Lattices
Universal Algebra for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series)
The Lattice of Subquasivarieties of a Locally Finite Quasivariety
Model Theory and Topoi (Lecture Notes in Mathematics, 445)
Universal Algebra and Lattice Theory: Proceedings of a Conference held at Charleston, July 11-14, 1984 (Lecture Notes in Mathematics, 1149)
