Graph Transformation, Specifications, and Nets - Heckel; Gabriele Taentzer; Taentzer, Gabriele (Springer International Publishing, 2018)