@Article{harper+:expl-poly-cps-jfp,
  author = 	 "Robert Harper and Mark Lillibridge",
  title = 	 "Operational Interpretations of an Extension of {$F_\omega$}
		  with Control Operators",
  journal =	 jfp,
  year =	 1996,
  volume =	 "6",
  number =	 "3",
  pages =	 "393--417",
  month =	 "May"
}