@MastersThesis{   Viehoff,
  Author        = "Viehoff, Remy",
  date-added    = "2013-06-24 14:32:06 +0000",
  date-modified = "2013-06-24 14:32:59 +0000",
  Keywords      = "simply-typed lambda calculus",
  Month         = "June",
  Title         = "call-by-name, call-by-value and abstract machines",
  Year          = "2012",
  File          = "call-by-name, call-by-value and abstract machines - Viehoff (0) (0) - a - a - r.pdf"
}

@MastersThesis{ Viehoff, Author = "Viehoff, Remy", date-added = "2013-06-24 14:32:06 +0000", date-modified = "2013-06-24 14:32:59 +0000", Keywords = "simply-typed lambda calculus", Month = "June", Title = "call-by-name, call-by-value and abstract machines", Year = "2012", File = "call-by-name, call-by-value and abstract machines - Viehoff (0) (0) - a - a - r.pdf" }