1. R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench. University of Edinburgh, Scotland. 1988.
2. J.C Godskesen. KG. Larsen, and M. Zeeberg, Tav — tools for automatic verification — users manual. Technical Report R 89-19, Department of Mathematics and Computer Science, Aalborg University, 1989. Presented at workshop on Automatic Methods for Finite State Systems, Grenoble, France, Juni 1989.
3. S. Graf and J. Ssifakis. A logic for the description of non-deterministic programs and their properties. Information and Control, 68(1–3), 1986.
4. M. Hennessy. A proof system for communicating processes with value-passing. Formal Aspects of Computer Science, 3:346–366, 1991.
5. M. Hennessy and H. Lin. Symbolic bisimuJation. Technical Report Technical Report 1/92, School of Congnitive and Computing Sciences, University of Sussex, 1992.