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