Samson Abramsky, R. Sykes: Secd-m: a Virtual Machine for Applicative Programming. FPCA 1985: 81-98