Text this: Graph grammars and their application to computer science /