@TechReport{      Bruijn,
  Author        = "de Bruijn, N. G.",
  date-added    = "2014-01-27 14:21:09 +0000",
  date-modified = "2014-01-27 14:22:40 +0000",
  Institution   = "Technological University Eindhoven Netherlands",
  Month         = "August",
  Title         = "A name-free lambda calculus with facilities for internal definition of expressions and segments",
  Year          = "1978",
  File          = "A name-free lambda calculus with facilities for internal definition of expressions and segments - Bruijn (0) (0) - a - a - d.pdf"
}

@TechReport{ Bruijn, Author = "de Bruijn, N. G.", date-added = "2014-01-27 14:21:09 +0000", date-modified = "2014-01-27 14:22:40 +0000", Institution = "Technological University Eindhoven Netherlands", Month = "August", Title = "A name-free lambda calculus with facilities for internal definition of expressions and segments", Year = "1978", File = "A name-free lambda calculus with facilities for internal definition of expressions and segments - Bruijn (0) (0) - a - a - d.pdf" }