D. Clarke, T. Wrigstad, J. Östlund, and E. Johnsen. Programming Languages and Systems, volume 5356 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)
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)
J. Aldrich, and C. Chambers. ECOOP 2004 – Object-Oriented Programming, volume 3086 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2004)
T. Watanabe, and A. Yonezawa. Foundations of Object-Oriented Languages, volume 489 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (1991)