@InProceedings{   CousotCousot77-3,
  Author        = "Cousot, P{.} and Cousot, R{.}",
  Editor        = "Neuhold, E.J{.}",
  BookTitle     = "IFIP Conf{.} on Formal Description of Programming Concepts, St-Andrews, N.B., CA",
  date-added    = "2014-03-07 08:03:47 +0000",
  date-modified = "2014-03-12 07:24:20 +0000",
  Keywords      = "abstract interpretation and chaotic iteration",
  Pages         = "237--277",
  Publisher     = "North\discretionary{-}{}{-}Holland",
  Title         = "Static determination of dynamic properties of recursive procedures",
  Year          = "1977",
  File          = "Static determination of dynamic properties of recursive procedures - Cousot, Cousot (1) (0) - a - a - n.pdf",
  file-2        = "Static determination of dynamic properties of recursive procedures - Cousot, Cousot (0) (0) - a - a - n.pdf"
}

@InProceedings{ CousotCousot77-3, Author = "Cousot, P{.} and Cousot, R{.}", Editor = "Neuhold, E.J{.}", BookTitle = "IFIP Conf{.} on Formal Description of Programming Concepts, St-Andrews, N.B., CA", date-added = "2014-03-07 08:03:47 +0000", date-modified = "2014-03-12 07:24:20 +0000", Keywords = "abstract interpretation and chaotic iteration", Pages = "237--277", Publisher = "North\discretionary{-}{}{-}Holland", Title = "Static determination of dynamic properties of recursive procedures", Year = "1977", File = "Static determination of dynamic properties of recursive procedures - Cousot, Cousot (1) (0) - a - a - n.pdf", file-2 = "Static determination of dynamic properties of recursive procedures - Cousot, Cousot (0) (0) - a - a - n.pdf" }