1. Bonchi, F., Gadducci, F., König, B.: Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1), 14–40 (2009)
2. Lecture Notes in Computer Science;F. Bonchi,2010
3. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs of Theoretical Comp. Sc. Springer (2006)
4. Ehrig, H., Padberg, J., Prange, U., Habel, A.: Adhesive high-level replacement systems: A new categorical framework for graph transformation. Fundamenta Informaticae 74(1), 1–29 (2006)
5. Ehrig, H., König, B.: Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Mathematical Structures in Computer Science 16(6), 1133–1163 (2006)