Text this: Theory and application of graph transformations :