1. A calculus of mobile processes, i/ii;Milner;Inf. Comput.,1992
2. Statecharts: a visual formalism for complex systems;Harel;Sci. Comput. Program.,1987
3. Using Z: Specification, Refinement, and Proof;Woodcock,1996
4. Blending Object-Z and Timed CSP: an introduction to TCOZ;Mahony,1998
5. Non-interference through determinism;Roscoe,1994