@Article{harper+:callcc-jfp,
  author = 	 "Robert Harper and Bruce Duba and David MacQueen",
  title = 	 "Typing First-Class Continuations in {ML}",
  journal = 	 jfp,
  year = 	 "1993",
  volume = 	 "3",
  number = 	 "4",
  pages = 	 "465--484",
  month = 	 "October"
}