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)
Y. Zibin, A. Potanin, P. Li, M. Ali, und M. Ernst. Proceedings of the ACM international conference on Object oriented programming systems languages and applications, Seite 598--617. New York, NY, USA, ACM, (2010)