B. Burg, R. Bailey, A. Ko, и M. Ernst. Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, стр. 473--484. ACM, (2013)
B. Petrov, M. Vechev, M. Sridharan, и J. Dolby. Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, стр. 251--262. ACM, (2012)