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)
S. Rouwhorst, and A. Engelbrecht. Proceedings of the 2000 Congress on Evolutionary
Computation CEC00, 1, page 633--638. La Jolla Marriott Hotel La Jolla, California, USA, IEEE Press, (6-9 July 2000)
A. Kordon, and G. Smits. Proceedings of the Genetic and Evolutionary
Computation Conference (GECCO-2001), page 1346--1351. San Francisco, California, USA, Morgan Kaufmann, (7-11 July 2001)
G. Kokai. 7th WSEAS International Multiconference on Circuits,
Systems, Communications and Computers (WSEAS CSCC), Rethymno, Crete Island, Greece, (July 2002)
H. Cao, L. Kang, T. Guo, Y. Chen, and H. de Garis. IEEE Transactions on Systems, Man and Cybernetics --
Part B: Cybernetics, 40 (2):
351--357(April 2000)
M. Akbarzadeh-T., E. Tunstel, K. Kumbla, and M. Jamshidi. Proceedings of the 1998 IEEE World Congress on
Computational Intelligence, 2, page 1200--1205. Anchorage, Alaska, USA, IEEE Press, (5-9 May 1998)