T. Mytkowicz, A. Diwan, M. Hauswirth, and P. Sweeney. Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, page 187--197. ACM, (June 2010)
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)
X. Yang, S. Blackburn, D. Frampton, J. Sartor, and K. McKinley. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 307--324. ACM, (2011)
R. Karmani, A. Shali, and G. Agha. PPPJ '09: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, page 11--20. New York, NY, USA, ACM, (2009)