1. Burks A. (1970) Essays on Cellular Automata, Univ. of Illinois Press.
2. Church A. (1941) The Calculi of Lambda Conversion, Princeton, N.J., Princeton University Press.
3. Dean T., Boddy M. (1988) An Analysis of Time-Dependent Planning, in Proc. Seventh National Conf. on Artificial Intelligence, Minneapolis, Minnesota, 4954.
4. Eberbach E. (1994) SEMAL: A Cost Language Based on the Calculus of Self-modifiable Algorithms, Intern. Journal of Software Engineering and Knowledge Engineering, vol. 4, no. 3, 391–408.
5. Eberbach E. (1997) A Generic Tool for Distributed AI with Matching as Message Passing, Proc. of the Ninth IEEE Intern. Conf. on Tools with Artificial Intelligence TAI’97, Newport Beach, California, 11–18.