1. Andréka, H., & Németi, I. (1981). A general axiomatizability theorem formulated in terms
of cone-injective subcategories. In B. Csakany, E. Fried, & E.T. Schmidt (Eds.), Universal
algebra (Vol. 29, pp. 13–35). North-Holland: Colloquia Mathematics Societas János Bolyai.
2. Borceux, F. (1994). Handbook of categorical algebra. Cambridge University Press.
3. Bou, F., Eppe, M., Plaza, E., & Schorlemmer, M. (2014) D2. 1: Reasoning with amalgams.
Technical report, COINVENT Project. http://www.coinventproject.eu.
4. Diaconescu, R. (2008). Institution-independent model theory. Birkhäuser.
5. Diaconescu, R. From universal logic to computer science, and back. In G. Ciobanu & D. Méry
(Eds.), Theoretical aspects of computing—ICTAC 2014, Vol. 8687 of Lecture notes in computer
science. Springer, Berlin.