1. Adámek, J., Koubek, V., Least Fixed-Point of a Functor, Journal of Computer and System Sciences Vol.19, No.2, 1979, 163–178.
2. Apt, K.R., Plotkin, G.D., Countable Non-Determinism and Random Assignment, Journal of the ACM Vol.33, No.4, 1986, 724–767.
3. Costa G., Metric characterisation of fair computations in CCS, Lecture Notes in Computer Science, Vol.186, Springer-Verlag, Berlin/New York, 1985, 239–251.
4. Chandra, A.K., Computable Non-Deterministic Functions, in “Proceedings. 19th Annual Symposium on Mathematical Foundations of Computer Science”. IEEE, New York, 1978, 127–131.
5. Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, Englewood Cliffs, New York, 1976.