@Article{         Nivat:75,
  Author        = "Nivat, Maurice",
  date-added    = "2013-12-11 13:16:47 +0000",
  date-modified = "2013-12-11 13:19:29 +0000",
  Journal       = "Symposia Mathematica",
  Pages         = "255--281",
  Title         = "On the interpretation of recursive program schemes",
  Volume        = "15",
  Year          = "1975",
  File          = "On the interpretation of recursive program schemes - Nivat (0) (0) - a - a - s.pdf"
}

@Article{ Nivat:75, Author = "Nivat, Maurice", date-added = "2013-12-11 13:16:47 +0000", date-modified = "2013-12-11 13:19:29 +0000", Journal = "Symposia Mathematica", Pages = "255--281", Title = "On the interpretation of recursive program schemes", Volume = "15", Year = "1975", File = "On the interpretation of recursive program schemes - Nivat (0) (0) - a - a - s.pdf" }