Dorothea Blostein Andy Schürr Computing with Graphs and Graph Transformations. 197-217 1999 29 Softw., Pract. Exper. 3 db/journals/spe/spe29.html#BlosteinS99