1. Abstract and Concrete Categories – The Joy of Cats;Adámek,1990
2. Tensor products and bimorphisms;Banaschewski;Canad. Math. Bull.,1976
3. Equivalence of consequence operations;Blok;Studia Logica,2006
4. Algebraizable logics;Blok;Mem. Amer. Math. Soc.,1989
5. W.J. Blok, D. Pigozzi, Abstract algebraic logic and the deduction theorem, manuscript available online at Pigozziʼs webpage: http://orion.math.iastate.edu/dpigozzi/papers/aaldedth.pdf.