A. B. · J. A. · J.B. · Jan A. Bergstra
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Algebraic Methods II: Theory, Tools, and Applications | 978-0-387-53912-6 (0-387-53912-3) | 1991 | |
| Handbook of Process Algebra | 978-0-444-82830-9 (0-444-82830-3) | 2001 | A. Ponse · S.A. Smolka |