Theory And Application Of Graph Transformations door H. Ehrig & J. Kreowski