Fundamentals of Computation TheoryOlaf Owe, Martin Steffen, Jan Arne Telle · First published 2011Open the Tome
Fundamentals Of Computation Theory 18th International Symposium ProceedingsOlaf Owe · First published 2011Open the Tome
From object-orientation to formal methodsOle-Johan Dahl, Olaf Owe, Tom Lyche · First published 2004Open the Tome
ANNA A Language for Annotating Ada ProgramsDavid C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe · First published 1987Open the Tome
