1. Abramsky, S. "On Semantic Foundations for Applicative Multiprogramming", To appear in ICALP '83, Also QMC CSL Report Number 321, 1982.
2. Apt, K. and Plotkin, G.D. "Countable Non-determinism and Random Assignment" Technical Report, Edinburgh University, 1982.
3. Goguen, J. Thatcher, J. Wagner, E.G. and Wright, J.B. "Initial Algebra Semantics and Continuous Algebras", JACM (1977).
4. Broy, M. "Fixed Point Theory for Communication and Concurrency", Technical University of Munich, 1982.
5. DeNicola, R. and Hennessy, M. "Testing Equivalences for Processes", Technical Report CSR-123-82, Edinburgh University, 1982.