Secd-m: A virtual machine for applicative programming (1985)

by Samson Abramsky, R Sykes
Venue:2nd International Conference on Functional Programming Languages and Computer Architecture, number 201 in Lecture Notes in Computer Science