Robert Harper Mark Lillibridge Operational Interpretations of an Extension of F<sub>omega</sub> with Control Operators. 393-417 1996 6 J. Funct. Program. 3 db/journals/jfp/jfp6.html#HarperL96