1. J.C.M. Baeten, editor. Applications of Process Algebra. Cambridge Tracts in Theoretical Computer Science 17. Cambridge University Press, 1990.
2. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.
3. M.A. Bezem and J.F. Groote. A correctness proof of a one bit sliding window protocol in µCRL. Technical report, Logic Group Preprint Series no. 99, Utrecht University, 1993. To appear in The Computer Journal.
4. M.A. Bezem, J.F. Groote and J.J. van Wamel. A correctness proof of a sliding window protocol in µCRL. Technical report, Logic Group Preprint Series, Utrecht University, 1994. To appear.
5. K.M. Chandy and J. Misra. Parallel Program Design. A Foundation. Addison-Wesley, 1988.