| title | | ISBN-13 | year of publication |
|---|
| Advances in the Design of Symbolic Computation Systems | | 978-3-211-82844-1 | 2013 |
| Computing Tools for Scientific Problem Solving | | 978-0-12-498325-0 | 1990 |
| Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings | | 978-3-540-52531-8 | 2008 |
| Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings | | 978-3-540-57235-0 | 2008 |
| Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '93 Gmunden, Austria, September 15-17, 1993 Proceedings | | 978-0-387-57235-2 | 1993 |
| Design and Implementation of Symbolic Computation Systems: International Symposium Disco Italy April 1990 | | 978-0-387-52531-0 | 1990 |