| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Algebraic Methods II: Theory, Tools and Applications | Taschenbuch | 978-3-540-53912-4 (3-540-53912-3) | 2008 | Jan A. Bergstra | |
| Notations for Software Design | " | 978-3-540-19902-1 (3-540-19902-0) | 2013 | ||
| Notations for Software Design | Paperback | 978-0-387-19902-3 (0-387-19902-0) | 1994 | L. M. G. Feijs | |