1. G. Abowd, R. Allen, and D. Garlan. Formalizing Style to Understand Descriptions of Software Architecture. ACM Transactions on Software Engineering and Methodology, 4(4):319–364, October 1995.
2. M. Benjamin. A Message Passing System. An example of combining Z and CSP. In J. Nicholls, editor, Proc. 4th Z Users Workshop (ZUM89), Workshops in Computing, pages 221–228, Oxford, 1989. Springer-Verlag, Berlin.
3. G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217–248, 1992.
4. volume 803 of Lecture Notes in Computer Science;G. Boudol,1993
5. P. Breuer and J. Bowen. Towards Correct Executable Semantics for Z. In J. Bowen and J. Hall, editors, Proc. 8th Z Users Workshop (ZUM94), Workshops in Computing, pages 185–212, Cambridge, 1994. Springer-Verlag, Berlin.