Fundamentals Of Algebraic Graph Transformation by Hartmut Ehrig & Karsten Ehrig