ARM, abstract rewriting machine (1993)

by J F T Kamperman, H Walters