Hygienic Macro Expansion. - Eugene E. Kohlbecker; Daniel P. Friedman; Matthias Felleisen; Bruce F. Duba (LISP and Functional Programming, 1986)

Reasoning with Continuations - Matthias Felleisen; Daniel P. Friedman; Eugene E. Kohlbecker; Bruce F. Duba (LICS, 1986)

A Syntactic Theory of Sequential Control. - Matthias Felleisen; Daniel P. Friedman; Eugene E. Kohlbecker; Bruce F. Duba (Theor. Comput. Sci., 1987)

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. - Matthias Felleisen; Mitchell Wand; Daniel P. Friedman; Bruce F. Duba (LISP and Functional Programming, 1988)

Call-by-Value Combinatory Logic and the Lambda-Value Calculus. - John Gateley; Bruce F. Duba (MFPS, 1991)

The Essence of Compiling with Continuations. - Cormac Flanagan; Amr Sabry; Bruce F. Duba; Matthias Felleisen (PLDI, 1993)

The essence of compiling with continuations (with retrospective) - Cormac Flanagan; Amr Sabry; Bruce F. Duba; Matthias Felleisen (Best of PLDI, 1993)

Typing First-Class Continuations in ML. - Robert Harper 001; Bruce F. Duba; David B. MacQueen (J. Funct. Program., 1993)

From Macros to Reusable Generative Programming. - Shriram Krishnamurthi; Matthias Felleisen; Bruce F. Duba (GCSE, 1999)