1. S. Abramsky, A. Jung: Domain Theory, In S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, (ed.), Handbook of Logic in Computer Science, Vol. 3, Clarendon Press, 1994.
2. C. Baier, M.E. Majster-Cederbaum: The Connection between an Event Structure Semantics and an Operational Semantics for TCSP, Acta Informatica 31, 1994.
3. C. Baier, M.E. Majster-Cederbaum: Denotational Semantics in the CPO and Metric Approach, Theoretical Computer Science, Vol. 135, 1994.
4. C. Baier, M.E. Majster-Cederbaum: Construction of a CMS on a given CPO, Techn. Report 28/95, Universität Mannheim, 1994, submitted for publication to Acta Informatica.
5. J.W. de Bakker, J.J.Ch. Meyer: Metric Semantics for Concurrency, Report CS-R8803, Centre for Mathematics and Computer Science, Amsterdam, 1988.