1. Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)
2. Duke, R., Rose, G., Smith, G.: Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces 17, 511–533 (1995)
3. Fischer, C.: A combination of Object-Z and CSP. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), vol. 2, pp. 423–438. Chapman & Hall, Boca Raton (1997)
4. Hatcliff, J., Dwyer, M., Zheng, H.: Slicing software for model construction. Higher-order and Symbolic Computation (to appear)
5. Huizing, K., Kuiper, R.: Reinforcing fragile base classes. In: Poetzsch-Heffter, A. (ed.) Workshop on Formal Techniques for Java Programs, ECOOP 2001 (2001)