@InCollection{    BRU80a,
  Author        = "de Bruijn, N. G.",
  Editor        = "Seldin, J. P. and Hindley, J. R.",
  BookTitle     = "To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism",
  citeulike-article-id="2765099",
  date-added    = "2014-02-05 11:27:57 +0000",
  date-modified = "2014-02-05 11:27:57 +0000",
  Keywords      = "rcb-bibfile",
  Pages         = "589--606",
  posted-at     = "2008-05-07 12:57:24",
  priority      = "2",
  Publisher     = "Academic Press",
  Title         = "A survey of the project {AUTOMATH}",
  Year          = "1980",
  File          = "A survey of the project AUTOMATH - Bruijn (0) (0) - a - a - s.pdf"
}

@InCollection{ BRU80a, Author = "de Bruijn, N. G.", Editor = "Seldin, J. P. and Hindley, J. R.", BookTitle = "To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism", citeulike-article-id="2765099", date-added = "2014-02-05 11:27:57 +0000", date-modified = "2014-02-05 11:27:57 +0000", Keywords = "rcb-bibfile", Pages = "589--606", posted-at = "2008-05-07 12:57:24", priority = "2", Publisher = "Academic Press", Title = "A survey of the project {AUTOMATH}", Year = "1980", File = "A survey of the project AUTOMATH - Bruijn (0) (0) - a - a - s.pdf" }