Robert Hieb R. Kent Dybvig Continuations and Concurrency. 128-136 1990 PPOPP db/conf/ppopp/ppopp90.html#HiebD90