1. F. Bacelli et al. Synchronisation and Linearity-Algebra for Discrete Event Systems, Wiley, 1992.
2. A. Bailey, G. A. McCaskill and G. J. Milne. An Exercise in the Automatic Verification of Asynchronous Designs. Formal Methods in System Design, Vol. 4, No. 3, pp. 213–242, 1994.
3. T. Bolognesi, and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, Vol. 14, No. 1, pp. 25–59, 1987.
4. A. Cerone, D. A. Kearney and G. J. Milne. Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems. In Proc. of the Int. Conference on Application of Concurrency to System Design,Aizu-Wakamatsu City, Japan, pp. 109–119, IEEE Comp. Soc. Press, 1998.
5. A. Cerone and G. J. Milne. Modelling a Subclass of CMOS Circuits using a Process Algebra. In Proc. 6th Annual Australasian Conference on Parallel and Real-Time Systems (PART’99), Melbourne, Australia, pp. 386–397, Springer-Verlag, Berlin, 1999.