1. Lecture Notes in Computer Science;M.J. Butler,2005
2. Butler, M.J.: A CSP Approach to Action Systems. PhD thesis, Computing Laboratory, Oxford Univ. (1992)
3. Component-Based Development;R.G. Dromey,2006
4. FDR2 user manual (2005),
http://www.fsel.com/fdr2_manual.html
5. Fischer, C., Wehrheim, H.: Model-Checking CSP-OZ Specifications with FDR.. In: Araki, K., Galloway, A., Taguchi, K. (eds.) Integrated Formal Methods, 1st International Conference, Proceedings, pp. 315–334. Springer, Heidelberg (1999)