Implementing Term Rewrite Languages in DACTL (1990)

by J R Kennaway
Venue:Theor. Comput. Sci