On the relation between direct and continuation semantics (1974)

by J C Reynolds
Venue:Proceedings of the 2nd Colloquium on Automata, Languages and Programming (ICALP ’74), volume 14 of LNCS