1. [1] Barr, M., and C. Wells, Category Theory for Computing Science, Prentice Hall International Series in Computer Science, Prentice Hall International, New York, 1990.
2. [2] Blok, W. J., and D. Pigozzi, "Protoalgebraic logics", Studia Logica, vol. 45 (1986), pp. 337--69.
3. [3] Blok, W. J., and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, vol. 77, no. 396, 1989.
4. [4] Borceux, F., Handbook of Categorical Algebra. Vol. 1: Basic Category Theory, vol. 50 of Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, 1994.
5. [5] Cerioli, M., and J. Meseguer, "May I borrow your logic? Transporting logical structures along maps", Theoretical Computer Science, vol. 173 (1997), pp. 311--47.