Secd-m: a Virtual Machine for Applicative Programming. - Samson Abramsky; R. Sykes (FPCA, 1985)