Computer experiments with the REVE term rewriting system generator (1983)

by P Lescanne
Venue:Proc. POPL’83