M. Bidoit, H. Kreowski, P. Lescanne, F. Orejas, D. Sanella et al., With chapters by Coalgebras in functional programming and type theory, Algebraic System Specification and Devalopment ? A Survey and Annotated BibliographyCMR + 97 Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In [Roz97], pp.5006-5024, 1991.

A. Corradini, H. Ehrig, H. Kreowski, G. Rozenberg, H. Ehrig et al., Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, ICGT 2002, 1985.

+. Ehrig, H. Heckel, R. Korff, M. Löwe, M. Ribeiro et al., ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION ??? PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH, pp.247-312
DOI : 10.1142/9789812384720_0004

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

N. Ghani, C. Lüth, F. De-marchi, A. Habel, D. Plump et al., Monads of coalgebras: rational terms and term graphs, Monads of Coalgebras: Rational Terms and Term Graphs RAMiCS 2011Kah14] Kahl, W.: Relation-Algebraic Theories in Agda ? RATH-Agda ICGT 2008.: On Institutions for Modular Coalgebraic Specifications, pp.433-451, 1987.
DOI : 10.1017/S0960129505004743

M. Löwe, Algebraic Approach to Graph Transformation Based on Single Pushout Derivations, 1990.

M. Löwe, M. Korff, A. Wagner, U. Norell, F. Orejas et al., An Algebraic Framework for the Transformation of Attributed Graphs Term Graph Rewriting: Theory and Practice Towards a Practical Programming Language Based on Dependent Type Theory Delaying Constraint Solving in Symbolic Graph Transformation, ICGT 2010Par98] Pardo, A.: Monadic Corecursion ? Definition, Fusion Laws and Applications, pp.185-199, 1993.

F. Parisi-presicce, P. Bottoni, G. Engels, D. Plump, S. Steinert et al., Towards Graph Programs for Graph Algorithms The Graph Programming Language GP From Algebras and Coalgebras to Dialgebras A Unified Categorical Approach for Attributed Graph Rewriting Universal coalgebra: a theory of systems, ICGT 2004 CAI 2009 Handbook of Graph Grammars and Computing by Graph Transformation, pp.128-143, 1997.