@InProceedings{   Felleisen:1986:CEK,
  Author        = "Felleisen, Matthias and Friedman, Daniel P.",
  BookTitle     = "3rd Working Conference on the Formal Description of Programming Concepts",
  citeulike-article-id="5906202",
  date-added    = "2013-03-11 17:26:34 +0000",
  date-modified = "2013-06-17 09:49:35 +0000",
  Keywords      = "lambda calculus and continuation-passing style transformation and call-with-current-continuation and CEK machine and SECD machine",
  Month         = "August",
  posted-at     = "2009-10-07 16:53:00",
  priority      = "2",
  Title         = "{Control operators, the SECD-machine, and the lambda-calculus}",
  Year          = "1986",
  File          = "Control operators, the SECD-machine, and the lambda-calculus - Felleisen, Friedman (0) (0) - a - a - a.pdf",
  file-2        = "Control operators, the SECD-machine, and the lambda-calculus - Felleisen, Friedman (1) (0) - a - a - a.pdf"
}

@InProceedings{ Felleisen:1986:CEK, Author = "Felleisen, Matthias and Friedman, Daniel P.", BookTitle = "3rd Working Conference on the Formal Description of Programming Concepts", citeulike-article-id="5906202", date-added = "2013-03-11 17:26:34 +0000", date-modified = "2013-06-17 09:49:35 +0000", Keywords = "lambda calculus and continuation-passing style transformation and call-with-current-continuation and CEK machine and SECD machine", Month = "August", posted-at = "2009-10-07 16:53:00", priority = "2", Title = "{Control operators, the SECD-machine, and the lambda-calculus}", Year = "1986", File = "Control operators, the SECD-machine, and the lambda-calculus - Felleisen, Friedman (0) (0) - a - a - a.pdf", file-2 = "Control operators, the SECD-machine, and the lambda-calculus - Felleisen, Friedman (1) (0) - a - a - a.pdf" }