Oxford University Press · Prentice Hall
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Computer Program Construction | 978-0-19-509236-3 (0-19-509236-8) | 1994 | Ali Mili · Jules Desharnais |
| Towards Structured Specifying: Theory, Practice, Applications | 978-0-13-924929-7 (0-13-924929-X) | 1989 | Ali Mili |