@Article{         Plotkina,
  Author        = "Plotkin, Gordon",
  date-added    = "2013-01-30 16:14:44 +0000",
  date-modified = "2013-05-02 08:46:45 +0000",
  Journal       = "Theoretical Computer Science",
  Keywords      = "lambda calculus and formal semantics and continuation-passing style transformation and classic",
  Pages         = "125--159",
  Title         = "Call-by-Name, Call-by-Value and the lambda-Calculus",
  Volume        = "1",
  Year          = "1975",
  File          = "Call-by-Name, Call-by-Value and the lambda-Calculus - Plotkin (0) (0) - a - a - a.pdf"
}

@Article{ Plotkina, Author = "Plotkin, Gordon", date-added = "2013-01-30 16:14:44 +0000", date-modified = "2013-05-02 08:46:45 +0000", Journal = "Theoretical Computer Science", Keywords = "lambda calculus and formal semantics and continuation-passing style transformation and classic", Pages = "125--159", Title = "Call-by-Name, Call-by-Value and the lambda-Calculus", Volume = "1", Year = "1975", File = "Call-by-Name, Call-by-Value and the lambda-Calculus - Plotkin (0) (0) - a - a - a.pdf" }