| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings | 978-3-540-56662-5 (3-540-56662-7) | 2008 | James C.P. Woodcock | |
| Validated Designs for Object-Oriented Systems | 978-1-85233-881-7 (1-85233-881-4) | 2005 | John Fitzgerald · Paul Mukherjee · Nico Plat · Marcel Verhoef |
G.L. · G Larsen · P.G. · P. G. Larsen · Peter G. · Peter Gorm Larsen · Peter L. · Peter Larsen