O. Shacham, M. Vechev, и E. Yahav. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, том 44 из PLDI '09, стр. 408--418. (июня 2009)
V. Sundaresan, D. Maier, P. Ramarao, и M. Stoodley. Proceedings of the International Symposium on Code Generation and Optimization, стр. 87--97. Washington, DC, USA, IEEE Computer Society, (2006)