J. Huang, und A. Rajagopalan. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Seite 462--476. ACM, (2016)
V. Raychev, M. Vechev, und M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, Seite 151--166. ACM, (2013)