Constructing call-by-value continuation semantics (1980)

by R Sethi, A Tang
Venue:Journal of the ACM