J.S. · J. Sinclair · Jane's
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Introduction Formal Specification And Z | 978-0-13-242207-9 (0-13-242207-7) | 1996 | Ben Potter · David Till |
| Introduction to Formal Specification and Z | 978-0-13-478702-2 (0-13-478702-1) | 1991 | Ben Potter · David Till |