1. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994), London Math. Society. Lecture Note Series 189
2. Colloquia Mathematics Societas János Bolyai;H. Andréka,1981
3. Andréka, H., Németi, I.: Generalization of the concept of variety and quasivariety to partial algebras through category theory. In: ISSAC 1985 and EUROCAL 1985, vol. 204, Polish Scientific Publishers, Warsaw (1983)
4. Banaschewski, B., Herrlich, H.: Subcategories defined by implications. Houston Journal Mathematics 2, 149–171 (1976)
5. Lecture Notes in Computer Science;J. Bergstra,1980