1. Lecture Notes in Computer Science,2003
2. Arthan, R. D. (1991). On free type definitions in Z. In J. E. Nicholls (Ed.), Sixth Annual Z User Workshop (pp. 40–58). Berlin: Springer.
3. BCS Practitioner Series;R. Barden,1994
4. Lecture Notes in Computer Science,2002
5. Lecture Notes in Computer Science,2003