1. T. Bolognesi, E. Brinksma, Introduction to the ISO Specification Language LOTOS,Computer Networks ISDN Systems 14, pp. 25?59, 1987.
2. J.C.M. Baeten, J.A. Bergstra, J.W. Klop, ?On the Consistency of Koomen's Fair Abstrction Rule,?Theoretical Computer Science, Vol 51, pp. 129?176, 1987.
3. M. Bezem, J.F. Groote,A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions, Report No. 88, Department of Philosophy, Utrecht University, 1993.
4. J.A. Bergstra, J.W. Klop, ?Process Theory Based on Bisimulation Semantics,? inLinear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, Berlin, 1989.
5. G. Boudol, V. Roy, R. de Simore, Vergamini, D.,Process Calculi, From Theory to Practice: Verification Tools, INRIA Report No. 1098, 1989.