| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Understanding Z: A Specification Language and its Formal Semantics | 978-O-521-O5414-O (O-521-O5414-1) | 2008 |
Gilchrist, Jan Spivey · J.J. Spivey · J. M. Spivey · J. S. · James J. Spivey · Jan Spivey Gilchrist · Jim Spivey · John P. Spivey · John Spivey · Michael J. Spivey · Nigel Jonathan Spivey