Marko C. J. D. van Eekelen Sjaak Smetsers Marinus J. Plasmeijer Graph Rewriting Semantics for Functional Programming Languages. 106-128 1996 conf/csl/1996 CSL db/conf/csl/csl96.html#EekelenSP96 http://dx.doi.org/10.1007/3-540-63172-0_35