Center for the Study of Language and Inf · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| A Paradigm for Program Semantics | 978-1-57586-345-0 (1-57586-345-6) | 2001 | Ingrid Rewitsky | |
| A Paradigm for Program Semantics: Power Structures and Duality | 978-1-57586-344-3 (1-57586-344-8) | 2001 | " | |
| Relational Methods in Computer Science | 978-3-211-82971-4 (3-211-82971-7) | 2013 | ||