SECD−M: a virtual machine for applicative multiprogramming - Abramsky, S; Sykes, R (Functional Languages and Computer Architecture, 1985)