Object Orientation and Formal Techniques by Universitetet i Oslo. Institute for Informatics | Menrva Books | MenrvaBooks