Samson Abramsky, R. Sykes. Secd-m: a Virtual Machine for Applicative Programming. In Functional Programming Languages and Computer Architecture. Volume 201 of Lecture Notes in Computer Science, pages 81-98, Springer-Verlag, Nancy, France, 1985.
Abstract is missing.