Pierre Lescanne REVE: A Rewrite Rule Laboratory. 482-483 1987 conf/stacs/1987 STACS db/conf/stacs/stacs87.html#Lescanne87 http://dx.doi.org/10.1007/BFb0039637