| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings | 978-3-540-64781-2 | 1998 | Kim G. Larsen · Sven Skyum | |
| Formal Semantics of Programming Languages | 978-0-262-73103-4 | 1993 | ||
| Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 | 978-3-540-15670-3 | 2008 | Andrew W. Roscoe · Stephen D. Brookes | |
| The Formal Semantics of Programming Languages: An Introduction | 978-0-262-23169-5 | 1993 | ||