H. Xiong, P. Curzon, S. Tahar, and A. Blandford. Integrated Formal Methods, 2335, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)
M. Zahran, A. Wahab, and S. Shaheen. Proceedings of the Genetic and Evolutionary
Computation Conference, 1, page 814. Orlando, Florida, USA, Morgan Kaufmann, (13-17 July 1999)
J. Koza, S. Al-Sakran, and L. Jones. Genetic Programming Theory and Practice IV, volume 5 of Genetic and Evolutionary Computation, chapter 4, Springer, Ann Arbor, (11-13 May 2006)
H. Brown Cribbs III, and R. Smith. Genetic Programming 1996: Proceedings of the First
Annual Conference, page 547--552. Stanford University, CA, USA, MIT Press, (28--31 July 1996)
A. Watson, and I. Parmee. Proceedings of the Second Online Workshop on
Evolutionary Computation (WEC2), 2, page 45--48. http://www.bioele.nuee.nagoya-u.ac.jp/wec2/, Nagoya University, Japan, (4--22 March 1996)