@Article{         CousotCousot-PJM-82-1-1979,
  Author        = "Cousot, P{.} and Cousot, R{.}",
  date-added    = "2012-12-04 21:14:00 +0000",
  date-modified = "2012-12-04 21:15:01 +0000",
  Journal       = "Pacific Journal of Mathematics",
  Keywords      = "fixpoint theory",
  Number        = "1",
  Pages         = "43--57",
  Title         = "Constructive Versions of {T}arski's Fixed Point Theorems",
  Volume        = "81",
  Year          = "1979",
  bdsk-url-1    = "http://www.di.ens.fr/\textasciitilde cousot/COUSOTpapers/Tarski-79.shtml",
  File          = "Constructive Versions of Tarski's Fixed Point Theorems - Cousot, Cousot (0) (0) - a - a - q.pdf"
}

@Article{ CousotCousot-PJM-82-1-1979, Author = "Cousot, P{.} and Cousot, R{.}", date-added = "2012-12-04 21:14:00 +0000", date-modified = "2012-12-04 21:15:01 +0000", Journal = "Pacific Journal of Mathematics", Keywords = "fixpoint theory", Number = "1", Pages = "43--57", Title = "Constructive Versions of {T}arski's Fixed Point Theorems", Volume = "81", Year = "1979", bdsk-url-1 = "http://www.di.ens.fr/\textasciitilde cousot/COUSOTpapers/Tarski-79.shtml", File = "Constructive Versions of Tarski's Fixed Point Theorems - Cousot, Cousot (0) (0) - a - a - q.pdf" }