J. Adámek, H. Herrlich, and G. E. Strecker, Abstract and Concrete Categories -The Joy of Cats. Online Edition, 2004.

G. M. Bergman, An Invitation to General Algebra and Universal Constructions, 2015.

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of Algebraic Graph Transformation, Monographs in Theoretical Computer Science. An EATCS Series, 2006.

S. Lack and P. Sobocinski, Adhesive and quasiadhesive categories, Informatique Théorique et Applications, vol.39, issue.3, pp.511-545, 2005.

M. Löwe, Algebraic approach to single-pushout graph transformation, TCS: Theoretical Computer Science, vol.109, pp.181-224, 1993.

, Handbook of Graph Grammars and Computing by Graph Transformations, Foundations. World Scientific, vol.1, 1997.

D. Sannella and A. Tarlecki, Foundations of Algebraic Specification and Formal Software Development, Monographs in Theoretical Computer Science. An EATCS Series, 2012.

P. Suppes, Axiomatic Set Theory, 1972.

T. Tantau, Graph drawing in tikz, J. Graph Algorithms Appl, vol.17, issue.4, pp.495-513, 2013.

A. Tarlecki, Some nuances of many-sorted universal algebra: A review, Bulletin of the EATCS, vol.104, pp.89-111, 2011.