On characterizations of the basic feasible functionals (part II), 2002. ,

Handbook of metric fixed point theory, 2001. ,

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

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