R. J. Irwin, B. M. Kapron, and J. S. Royer, On characterizations of the basic feasible functionals (part II), 2002.

A. William, B. Kirk, and . Sims, Handbook of metric fixed point theory, 2001.

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285

G. Winskel, The formal semantics of programming languages: an introduction, 1993.