Graph Transformation - Fabio Gadducci; Kehrer, Timo (Springer International Publishing, 2021)