Ulrike Prange Hartmut Ehrig From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. 122-146 2007 CAI https://doi.org/10.1007/978-3-540-75414-5_8 conf/cai/2007 db/conf/cai/cai2007.html#PrangeE07