1. Abramsky, S., Domain theory as a theory of experiments. In this proceedings (1984).
2. Abramsky, S., Ph. D. thesis, University of London. In preparation.
3. Aczel, P., An introduction to inductive definitions. In the handbook of Mathematical Logic, Ed. Barwise, J., North-Holland (1983).
4. Arbib, M.A.,and Manes,E.G., Arrows, Structures and Functors, The categorical imperative. Academic Press (1975).
5. Brooks, S.D., On the relationship of CCS and CSP, ICALP 1983.