Robert D. Tennent J. K. Tobin Continuations in Possible-World Semantics. 283-303 1991 85 Theor. Comput. Sci. 2 db/journals/tcs/tcs85.html#TennentT91