Amazon.com: Z Programming
   Lists books for sale on the topic of Z programming. Includes descriptions of individual books, reviews and purchase information.
   http://www.amazon.com/s/url=search-alias%3Dstripbooks&field-keywords=z+programming

Formal Specification and Documentation using Z: A Case Study Approach
   By Jonathan Bowen; International Thomson Publishing, 1996, ISBN 1850322309. Textbook presents use of formal methods via case study series. Contents, foreword, preface, ordering, review extract. [World Wide Web Virtual Library]
   http://www.afm.sbu.ac.uk/zbook/

Introduction to Formal Specification and Z
   By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can greatly improve the way software systems are modeled, implemented; investigate specifications before construction. [Prentice Ha
   http://vig.prenhall.com/catalog/academic/product/1,4096,0132422077,00.html

Object Orientation in Z
   Edited by Susan Stepney, Rosalind Barden, David Cooper; Springer-Verlag, 1992, ISBN 3540197788. Set of papers showing many ways to add OO concepts and structuring to Z. Each shows same problems, for comparing. [University of York]
   http://www-users.cs.york.ac.uk/~susan/bib/ss/ooz/index.htm

The Object-Z Specification Language
   Book by Graeme Smith (1999). Description, table of contents, link to book series.
   http://www.springer.com/east/home?SGWID=5-102-22-33332091-0

The Way of Z: Practical Programming with Formal Methods
   By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Tutorial for experienced professionals, serious students of programming, software engineering, case studies focusing safety-critical systems.
   http://staff.washington.edu/jon/z-book/

The Z Notation: A Reference Manual
   J. Mike Spivey; Prentice Hall, International Series in Computer Science, 1988, 1992, 2001, ISBN 0139785299. Standard reference work for Z. Description, free downloads: PostScript, PDF, LaTeX. [University of Oxford]
   http://spivey.oriel.ox.ac.uk/mike/zrm/

Using Z: Specification, Refinement, and Proof
   By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online]
   http://www.usingz.com/