@Article{FelleisenHieb1992,
  author =       "Matthias Felleisen and Robert Hieb",
  title =        "The Revised Report on the Syntactic Theories of
                    Sequential Control and State",
  journal =      tcs,
  year =         1992,
  volume =       10,
  number =       2,
  pages =        "235-271"
}

@InProceedings{Shao1997-dsl,
  author =       "Zhong Shao",
  title =        "Typed Common Intermediate Format",
  crossref =     "DSL1997",
  url =         "ftp://daffy.cs.yale.edu/pub/papers/shao/tcif.ps"
}

@Proceedings{DSL1997,
  title =        "Conference on Domain-Specific Languages",
  booktitle =    "Conference on Domain-Specific Languages",
  year =         1997,
  publisher =    "USENIX",
  address =      "Santa Barbara, CA",
  month =        oct
}

@Article{HarperLillibridge1996,
  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,
  URL =          "http://www.cs.cmu.edu/~rwh/papers/cps-fomega/"
}