Continuations in Possible-World Semantics. - Robert D. Tennent; J. K. Tobin (Theor. Comput. Sci., 1991)