@Article{         Turing,
  Author        = "Turing, Alan M.",
  date-added    = "2012-06-11 14:14:22 +0200",
  date-modified = "2012-06-11 14:14:58 +0200",
  Journal       = "The Journal of Symbolic Logic",
  Keywords      = "lambda calculus and Turing machine",
  Month         = "December",
  Number        = "4",
  Pages         = "153--163",
  Title         = "Computability and {$\lambda$}-Definability",
  Volume        = "2",
  Year          = "1937",
  File          = "Computability and {$\lambda$}-Definability - Turing (0) (0) - a - a - r.pdf"
}

@Article{ Turing, Author = "Turing, Alan M.", date-added = "2012-06-11 14:14:22 +0200", date-modified = "2012-06-11 14:14:58 +0200", Journal = "The Journal of Symbolic Logic", Keywords = "lambda calculus and Turing machine", Month = "December", Number = "4", Pages = "153--163", Title = "Computability and {$\lambda$}-Definability", Volume = "2", Year = "1937", File = "Computability and {$\lambda$}-Definability - Turing (0) (0) - a - a - r.pdf" }