| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| ANNA A Language for Annotating Ada Programs: Reference Manual | 978-3-540-17980-1 | 2008 | David C. Luckham · Friedrich W. von Henke · Bernd Krieg-Brueckner |
| From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl | 978-3-540-21366-6 | 2008 | Stein Krogdahl · Tom Lyche |
| Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings | 978-3-642-22952-7 | 2011 | Martin Steffen · Jan Arne Telle |
| Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science , Band 1130) | 978-3-540-61629-0 | 2008 | Ole-Johan Dahl · Magne Haveraaen |
| Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers | 978-3-662-19024-1 | 2014 | Magne Haveraaen · Ole-Johan Dahl |