Books
Short works
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)