| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| An Introduction to Formal Specifications and Z | 978-0-13-478561-5 (0-13-478561-4) | 1991 | Jane Sinclair · David Till |
| Introduction Formal Specification And Z | 978-0-13-242207-9 (0-13-242207-7) | 1996 | Jane Sinclair · David Till |
| Introduction to Formal Specification and Z | 978-0-13-478702-2 (0-13-478702-1) | 1991 | Jane Sinclair · David Till |
B. Potter · Bamm Peter · Bán Péter · Benny Potter · Bhina Patria