S M ยท Sjouke Mauw
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Algebraic Specification of Communication Protocols | 978-0-521-41883-6 (0-521-41883-6) | 1993 | G. J. Veltink |
| Algebraic Specification Protocols | 978-0-521-08812-1 (0-521-08812-7) | 2008 | |