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)
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)
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)
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)