Ole-Johan Dahl

From object-orientation to formal methods