| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Automata, Languages and Programming: 2nd Colloquium, University of Saarbr??cken, July 29 - August 2, 1974. Proceedings: 2nd Colloquium, University of ... Notes in Computer Science , Band 14) | 978-3-540-06841-9 (3-540-06841-4) | 2008 | ||
| The Foundations of Programme Verification | 978-0-471-91282-8 (0-471-91282-4) | 1987 | K. Sieber · R.D. Stansifier | |