SPCF: its model, calculus, and computational power (1993)

by R Kanneganti, R Cartwright, M Felleisen
Venue:In Proceedings REX Workshop on Semantics and Concurrency, Lecture Notes in Computer Science 666