@TechReport{      Selinger,
  Author        = "Selinger, Peter",
  date-added    = "2013-04-16 15:00:26 +0000",
  date-modified = "2013-04-16 15:00:52 +0000",
  Institution   = "University of Ottawa",
  Keywords      = "simply-typed lambda calculus and Krivine machine",
  Title         = "From Continuation Passing Style to Krivine's Abstract Machine",
  File          = "From Continuation Passing Style to Krivine's Abstract Machine - Selinger (0) (0) - a - a - a.pdf"
}

@TechReport{ Selinger, Author = "Selinger, Peter", date-added = "2013-04-16 15:00:26 +0000", date-modified = "2013-04-16 15:00:52 +0000", Institution = "University of Ottawa", Keywords = "simply-typed lambda calculus and Krivine machine", Title = "From Continuation Passing Style to Krivine's Abstract Machine", File = "From Continuation Passing Style to Krivine's Abstract Machine - Selinger (0) (0) - a - a - a.pdf" }