From Object-Orientation to Formal Methods häftadEngelska, 2004