B. Claudel, Q. Sabah, and J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, volume 9039 of Lecture Notes in Computer Science, Springer, (2015)
J. Huang, and C. Zhang. Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, volume 47 of OOPSLA '12, page 451--466. ACM, (October 2012)
H. Inoue, and T. Nakatani. Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, page 137--154. ACM, (2009)
E. Rohou, B. Swamy, and A. Seznec. Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, page 103--114. Washington, DC, USA, IEEE Computer Society, (2015)