E. Eder, Properties of substitutions and unifications, J. Symbolic Comput, vol.1, pp.31-46, 1985.

H. Ehrig, A. Habel, H. Kreowski, and F. Parisi-presicce, From graph grammars to high level replacement systems, GraGra '90, vol.532, pp.269-287, 1991.

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of Algebraic Graph Transformation, 2006.

S. Hosseini and Y. Q. Nezhad, Equalizers in Kleisli categories. Cahiers de Topologie ed Géométrie Différentielle Catégoriques, vol.57, pp.51-76, 2016.

W. , Categories of coalgebras with monadic homomorphisms, CMCS 2014, vol.8446, pp.151-167, 2014.

W. , Graph transformation with symbolic attributes via monadic coalgebra homomorphisms. ECEASST, 71:5.1-5, vol.17, 2015.

S. Lack and P. Soboci?ski, Adhesive categories, FOSSACS 2004, vol.2987, pp.273-288, 2004.

S. Lack and P. Soboci?ski, Adhesive and quasiadhesive categories, RAIRO Inform. Théor. Appl, vol.39, issue.3, pp.511-545, 2005.

F. W. Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. USA, vol.50, pp.869-872, 1963.

U. , Towards a Practical Programming Language Based on Dependent Type Theory, Dept. Comp. Sci. and Eng, 2007.

D. E. Rydeheard and J. G. Stell, Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms, Category Theory and Computer Science, vol.283, pp.114-139, 1987.

J. Szigeti, On limits and colimits in the Kleisli category. Cahiers de Topologie ed Géométrie Différentielle Catégoriques, vol.24, pp.381-391, 1983.