Reasoning about Continuations with Control Effects (1989)

by Pierre Jouvelot, David K. Gifford