1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, pp. 1–168. Oxford Univ. Press, Oxford (1994)
2. Cambridge Tracts in Theoretical Computer Science;J.C.M. Baeten,1990
3. Baier, C., Engelen, B., Majster-Cederbaum, M.: Deciding Bisimilarity and Similarity for Probabilistic Processes. Journal of Computer and System Sciences 60, 187–231 (2000)
4. Lecture Notes in Computer Science;C. Baier,2000
5. Baier, C., Kwiatkowska, M., Norman, G.: Computing probability bounds for linear time formulas over concurrent probabilistic systems. In: Kwiatkowska, M., Baier, C., Huth, M., Ryan, M. (eds.) Electronic Notes in Theoretical Computer Science, vol. 22. Elsevier Science Publishers, Amsterdam (2000)