V. Raychev, M. Vechev, and M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, page 151--166. ACM, (2013)
K. Tomita, S. Murata, and H. Kurokawa. Advances in Artificial Life, volume 4648 of Lecture Notes in Computer Science, chapter 87, Springer Berlin / Heidelberg, Berlin, Heidelberg, (2007)