K. Sims. Toward a Practice of Autonomous Systems: Proceedings
of the First European Conference on Artificial Life, стр. 171--178. Paris, France, MIT Press, (11-13 December 1992)
B. Grahlmann. Proceedings of TACAS'98 (Tools and Algorithms for the Construction
and Analysis of Systems), том 1384 из Lecture Notes in Computer Science, стр. 102--117. Springer-Verlag, (марта 1998)