The ABC-machine: A Sequential Stack-based Abstract Machine For Graph Rewriting (1990)

by P W M Koopman, M C J D van Eekelen, E G J M H Nocker, M J Plasmeijer, J E W Smetsers