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