| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software | 978-3-540-54188-2 (3-540-54188-8) | 1991 | ||
| The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software | 978-0-387-54188-4 (0-387-54188-8) | 1991 | D. Brocard | |