Computer Experiments with the Reve Term Rewriting System Generator.

Pierre Lescanne Computer Experiments with the Reve Term Rewriting System Generator. 99-108 1983 POPL db/conf/popl/popl83.html#Lescanne83