Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)
L. Jones, S. Al-Sakran, and J. Koza. GECCO 2006: Proceedings of the 8th annual conference
on Genetic and evolutionary computation, 1, page 823--830. Seattle, Washington, USA, ACM Press, (8-12 July 2006)