D. Clarke, T. Wrigstad, J. Östlund, und E. Johnsen. Programming Languages and Systems, Volume 5356 von Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)
K. Leino, P. Müller, und A. Wallenburg. Verified Software: Theories, Tools, Experiments, Volume 5295 von Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)
J. Östlund, T. Wrigstad, D. Clarke, und B. Åkerblom. Objects, Components, Models and Patterns, Volume 11 von Lecture Notes in Business Information Processing, Springer, Berlin Heidelberg, (2008)
J. Aldrich, und C. Chambers. ECOOP 2004 – Object-Oriented Programming, Volume 3086 von Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2004)
T. Watanabe, und A. Yonezawa. Foundations of Object-Oriented Languages, Volume 489 von Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (1991)