Text this: Theory and Application of Graph Transformations