1. Lecture Notes in Artificial Intelligence;R.N. Acras,2004
2. Banzhaf, W., Nordin, P., Keller, R.E., Francone, F.D.: Genetic Programming: An Introduction. Morgan Kaufmann, Seattle (1998)
3. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (1990)
4. Casavant, T.L., Kuhl, J.G.: A communicating finite automata approach to modeling distributed computation and its application to distributed decision-making. IEEE Trans. Computers 39(5), 628–639 (1990)
5. Chellapilla, K., Czarnecki, D.: A preliminary investigation into evolving modular finite state machines. In: Proceedings of the 1999 IEEE Congress on Evolutionary Computation, IEEE Press, New York (1999)