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