1. S. Abramsky. A Domain Equation for Bisimulation. Information and Computation, (92):161–218, 1991.
2. P. Aczel. Non-well-founded Sets. Stanford University, 1988.
3. J.W. de Bakker. Designing Concurrency Semantics. Technical Report CS-R8902, Centre for Mathematics and Computer Science, Amsterdam, 1989.
4. M. Baldamus. Tau-less CCS with a Remote Procedure Call Primitive. Technical Report 1994/6, Fachbereich Informatik, Technische Universität Berlin, 1994.
5. J.W. de Bakker and E.P. de Vink. CCS for 00 and LP. In S. Abramsky and T.S.E. Maibaum, editors, Theory and Practice of Software Development, Advances in Dis-tributed Computing and Combining Paradigms for Software Development, LNCS 494, pages 1–28. Springer, 1991.