Text this: Graph transformation, specifications, and nets :