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