K. Leino, P. Müller, and A. Wallenburg. Verified Software: Theories, Tools, Experiments, volume 5295 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)
J. Östlund, T. Wrigstad, D. Clarke, and B. Åkerblom. Objects, Components, Models and Patterns, volume 11 of Lecture Notes in Business Information Processing, Springer, Berlin Heidelberg, (2008)