C
[CC79] Patrick Cousot et Radhia Cousot. Constructive Versions of Tarski's Fixed Point Theorems. Pacific Journal of Mathematics 82(1):43-57. 1979. 
@article{pjm82(1)-CC,
  author =              {Cousot, Patrick and Cousot, Radhia},
  title =               {Constructive Versions of {T}arski's Fixed Point
                         Theorems},
  journal =             {Pacific Journal of Mathematics},
  volume =              {82},
  number =              {1},
  pages =               {43-57},
  year =                {1979},
}
Liste des auteurs