1. S. Abramsky and A. Jung, Domain Theory, in Handbook of Logic in Computer Science (eds. S. Abramsky, D.M. Gabbay and T. S. E. Maibaum), Vol. 3, Semantic Structures, Oxford: Clarendon Press, 1994.
2. S. O. Anderson and A. J. Power, A Representable Approach to Finite Nondeterminism, Theoret. Comput. Sci., Vol. 177, No. 1, pp. 3–25, 1997.
3. E. Astesiano and G. Costa, Nondeterminism and Fully Abstract Models, in Informatique Theorique et Applications, Vol. 14, No. 4, pp. 323–347, 1980.
4. C. Baier and M. Kwiatkowska, Domain Equations for Probabilistic Processes, MSCS, Vol. 10, No. 6, pp. 665–717, 2000.
5. Lect Notes Comput Sci;P. Cenciarelli,1993