Software Engineering 1 Abstraction and Modelling - Bjørner, Dines (Springer Berlin Heidelberg, 2006)