The Use of Z. - Rosalind Barden; Susan Stepney; David Cooper (Z User Workshop, 1991)

Support for Using Z. - Rosalind Barden; Susan Stepney (Z User Workshop, 1992)

A survey of object orientation in Z. - Susan Stepney; Rosalind Barden; David Cooper (Softw. Eng. J., 1992)

Z in practice. - Rosalind Barden; Susan Stepney; David Cooper (Prentice Hall, 1995)

Annotated Z bibliography. - Jonathan P. Bowen; Susan Stepney; Rosalind Barden (Inf. Softw. Technol., 1995)