From Object-Orientation to Formal Methods by ‎Tom Lyche | Menrva Books | MenrvaBooks