O. Shacham, M. Vechev, und E. Yahav. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, Volume 44 von PLDI '09, Seite 408--418. (Juni 2009)
V. Sundaresan, D. Maier, P. Ramarao, und M. Stoodley. Proceedings of the International Symposium on Code Generation and Optimization, Seite 87--97. Washington, DC, USA, IEEE Computer Society, (2006)