| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Foundations of Programme Verification | 978-0-471-91282-8 (0-471-91282-4) | 1987 | Jacques Loeckx · R.D. Stansifier |
K. Schäfer · K. Schafer · K. Subbarao · Kai Schober · Karlheinz Sieber · Kay Schaefer · Kay Schaffer · Kurt Sieber