1. Goguen, J. Thatcher, J. Wagner, E.G. and Wright, J.B. “Initial Algebra Semantics and Continuous Algebras”, JACM (1977).
2. Apt K. and Plotkin G. “A Cook's tour of Countable Non-determinism”, 8th ICALP, Springer LNCS 115, 1981.
3. Back, R. “Semantics of Unbounded Non-Determinism”, ICALP '80, Springer LNCS 84, 1980.
4. Boudol G. “Semantique Operationelle et Algebrique Des Programmes Recursifs Non-Deterministes” These d'Etat, Universite de Paris VII, 1980.
5. Broy M. “A Fixed Point Theory for Communication and Concurrency”, Munich 1982.