1. Adámek, J., H. Herrlich, and G. E. Strecker, Abstract and Concrete Categories: The Joy of Cats, Number 17 of Reprints in Theory and Applications of Categories, 2006. Reprint of the 1990 original, Wiley, New York.
2. Blok W.J., Jónsson B.: Equivalence of consequence operations. Studia Logica 83(1–3), 91–110 (2006)
3. Blok, W. J., and D. Pigozzi, Algebrizable Logics, Vol. 396, Memoirs of the American Mathematical Society, Providence, January 1989.
4. Blok, W. J., and D. Pigozzi, Local deduction theorems in algebraic logic, in H. Andréka J. D. Monk, and I. Németi (eds.), Algebraic Logic, Vol. 54, Colloquia Mathematica Societatis János Bolyai, North-Holland, Amsterdam, 1991, pp. 75–109.
5. Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag Graduate Texts in Mathematics, New York, 1981.