Graph Transformation - Fabio Gadducci, Timo Kehrer (Springer, 2020)