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. Aldrich, and C. Chambers. ECOOP 2004 – Object-Oriented Programming, volume 3086 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2004)