K. Sims. Toward a Practice of Autonomous Systems: Proceedings
of the First European Conference on Artificial Life, page 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), volume 1384 of Lecture Notes in Computer Science, page 102--117. Springer-Verlag, (March 1998)