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. Östlund, T. Wrigstad, D. Clarke, and B. Åkerblom. Objects, Components, Models and Patterns, volume 11 of Lecture Notes in Business Information Processing, Springer, Berlin Heidelberg, (2008)
Y. Zibin, A. Potanin, P. Li, M. Ali, and M. Ernst. Proceedings of the ACM international conference on Object oriented programming systems languages and applications, page 598--617. New York, NY, USA, ACM, (2010)