Robert Hieb R. Kent Dybvig Carl Bruggeman Representing Control in the Presence of First-Class Continuations. 66-77 1990 PLDI db/conf/pldi/pldi90.html#HiebDB90