| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| A Logical Approach to Discrete Math | 978-0-387-94115-8 | 1993 | Fred. B. Schneider |
| Multimedia Introduction to Programming Using Java | 978-0-387-22681-1 | 2004 | Paul Gries |
| Programming Concepts and Methods: Procomet 98 | 978-0-412-83760-9 | 1998 | Willem-Paul de Roever |
| The Science of Programming | 978-0-387-96480-5 | 1989 | |