E. Rohou, B. Swamy, и A. Seznec. Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, стр. 103--114. Washington, DC, USA, IEEE Computer Society, (2015)
B. Claudel, Q. Sabah, и J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, том 9039 из Lecture Notes in Computer Science, Springer, (2015)
H. Inoue, и T. Nakatani. Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, стр. 137--154. ACM, (2009)