| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Vdm 91: Formal Software Development Methods: 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991: | 978-O-387-54868-5 (O-387-54868-8) | 1991 | S. Prehn |