Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig - Heckel, Reiko; Heckel, Reiko; Taentzer, Gabriele; Taentzer, Gabriele (Springer International Publishing : Imprint: Springer, 2018)