Graph Transformations - Corradini, Andrea (Springer Berlin Heidelberg, 2006)