1. Banach, R., & Poppleton, M. (2000) Retrenchment, refinement and simulation. In Bowen et al. [5] (pp. 304–323).
2. Boiten, E. A. (2004). Input/output abstraction of state based systems (Technical Report 12-04). University of Kent, Computing Laboratory, June 2004.
3. Boiten, E. A., & Derrick, J. (1998). IO-refinement in Z. In A. Evans, D. J. Duke, & T. Clark (Eds.), 3rd BCS-FACS Northern Formal Methods Workshop. Berlin: Springer.
http://www.ewic.org.uk/
.
4. Lecture Notes in Computer Science,1998
5. Lecture Notes in Computer Science,2000