SECD−M: a virtual machine for applicative multiprogramming (Functional Languages and Computer Architecture, 1985)

(untitled) - Abramsky, S; Sykes, R