“…Knaster-Tarski Theorem 2.9, about the existence of least and greatest fixed point for a monotone function on a complete lattice, or variations of this such as Theorem 2.11, are the starting point for all the works we mention. The earliest uses of fixed points in Computer Science, in the form of least fixed points, can be found in: recursive function theory, see for instance Rogers's book [1967] and references therein; formal language theory, as in the work of Arden [1960] and Ginsburg and Rice [1962]. However, distinguishing Computer Science from recursive function theory, the importance of fixed points in Computer Science really comes up only at the end of the 1960s, with four independent papers, roughly at the same time, by Dana Scott and Jaco de Bakker [1969], Hans Bekič [1969], David Park [1969], and Antoni Muzurkiewicz [1971] (however [Mazurkiewicz 1971] does not make explicit reference to fixed-point theory).…”