A N ยท A. Norcliffe
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Mathematics of Software Construction | Paperback | 978-0-13-563388-5 (0-13-563388-5) | 2000 | |
| Mathematics of Software Construction | Hardcover | 978-0-13-563370-0 (0-13-563370-2) | 1991 | Gil Slater |