\bibitem{CousotCousot-PJM-82-1-1979} P{.} Cousot and R{.} Cousot. \newblock Constructive versions of Tarski's fixed point theorems. \newblock Pacific Journal of Mathematics, Vol{.} 82, No{.} 1, 1979, pp{.} 43--57. @article{CousotCousot-PJM-82-1-1979, author = {Cousot, P{.} and Cousot, R{.}}, title = {Constructive Versions of {T}arski's Fixed Point Theorems}, journal = {Pacific Journal of Mathematics}, volume = 82, number = 1, pages = {43--57}, year = 1979, }