Uwe Aßmann: How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems. CC 1996: 121-135