Software Engineering - Bjørner, Dines (Texts in Computer Science, 2006)