Colimit library for graph transformations and algebraic development techniques - Wolz, Dietmar (Berlin, Techn. Univ., Diss., 1998, 1998)