1. Caspi P. and Halbwachs N. (1986) “A Functional Model for Describing and Reasoning about Time Behaviour of Computing Systems”, Acta Informatica, Vol. 22, 595–627
2. Ferber J. (1999) “Multi-Agent Systems”, Addison-Wesley, 509 pp
3. Goldin D. and Keil D. (2001) “Interaction, Evolution, and Intelligence”, Congress on Evolutionary Computation, Korea, May, 2001. http://www.cs.umb.edu/~dqg/papers/cec01.doc
4. Gurevich Y. (1993). Evolving algebras 1993: Lipari guide. In Borger, Ed., Specification and validation methods, 1995, pp. 231–243.
5. Harel D. (1987) “State-charts: a visual formalism for complex systems”, Science of Computer Programming, Vol. 8 (1987), p. 231