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