Oxford University Press · Pearson Education
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Software Engineering Mathematics | 978-0-273-02673-0 (0-273-02673-9) | 1988 | J. Woodcock |
| The Mathematical Revolution Inspired by Computing | 978-0-19-853658-1 (0-19-853658-5) | 1991 | J.H. Johnson |