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