Continuation semantics: control operators and abstract machines (1996)

by T Streicher, B Reus