1. Monadic computation and iterative algebric theories;Elgot,1975
2. Initial algebra semantics and continuous algebras;Goguen;IBM Research Report RC 5701,1975
3. Functional semantics of algebraic theories;Lawvere;Proc. Nat. Acad. Sci. U.S.A.,1963
4. The lattice of flow diagrams;Scott,1971