| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| BCS-FACS 7th Refinement Workshop: Proceedings of the BCS-FACS 7th Refinement Workshop Bath, 3-5 July 1996 | 978-3-540-76104-4 (3-540-76104-7) | 1996 | John Cooke · Peter Wallis | |
| Mathematical Frameworks for Component Software: Models for Analysis and Synthesis | 978-981-270-017-9 (981-270-017-X) | 2007 | Zhiming Liu | |
| Unifying Theories of Programming | 978-0-13-458761-5 (0-13-458761-8) | 1998 | C. A. R. Hoare |
Prentice Hall · Springer · World Scientific Pub Co Inc