Books
Short works
- The Use of Z. 1992. (In 6th Z User Workshop )
- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. 1998. (In ZUM '98 )
- Formal Methods for Industrial Products. 2000. (In ZB 2000 )
- Segregation with Communication. 2000. (In ZB 2000 )
Books : reviews
Susan Stepney, Rosalind Barden, David Cooper, eds.
Object Orientation in Z.
Springer. 1992
(read but not reviewed)
Rosalind Barden, Susan Stepney, David Cooper.
Z in Practice.
Prentice Hall. 1994
(read but not reviewed)