1. S. Abramsky, Observation Equivalence as a Testing Equivalence, TCS 53, pp. 225–241, 1987
2. S. Abramsky, A Domain Equation for Bisimulation, Imperial College Technical Report, 1987
3. J. C. M. Baeten and R. J. van Glabbeek, Abstraction and Empty Process in Process Algebra, Report CS-R8721, CWI Amsterdam, 1987 (to appear in Fundamenta Informaticae)
4. J. C. M. Baeten and R. J. van Glabbeek, Merge and Termination in Process Algebra, Proceedings 7th Conference on Foundations of Software Technology and T.C.S. (K.V. Nori ed.), LNCS 287, pp. 153–172, Springer Verlag, 1987
5. S. D. Brookes, C. A. R. Hoare and A. W. Roscoe, A Theory of Communicating Sequential Processes, JACM 31,3, pp. 560–599, 1984