@article{CoCo1979a,
   author = {Patrick Cousot and Radhia Cousot},
   title = {Constructive Versions Of Tarski's Fixed Point Theorems},
   journal = {Pacific Journal of Maths},
   year = {1979},
   category = {journal},
   format = {pdf},
   location = {file},
}