| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Using Z: Specification, Refinement, and Proof | 978-O-13-948472-8 (O-13-948472-8) | 1996 | Jim Woodcock · Jim Davies |
C.P. · C. W. · J C · J. P. · J. W. · J. Woodcock · James C.P. Woodcock · Jim C.P. Woodcock · P W.