ARM, abstract rewriting machine (1993)

by J F T KAMPERMAN, H R WALTERS