[1] R. E. Fikes P. E. Hart N. J. Nilsson: Some new directions in robot problem solving. In: Machine Intelligence 7 (B. Meltzer, D. Michie, eds.). University Press, Edinburgh 1972.

[2] R. E. Fikes N. J. Nilsson: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971), 189-208.

[3] I. M. Havel: The theory of regular events I, II. Kybernetika 5 (1969), 400-419; 520-544. MR 0256787

[4] N. J. Nilsson: Problem-solving methods in artificial intelligence. McGraw-Hill, New York 1971.

[5] A. Salomaa: Theory of automata. Pergamon Press, Oxford 1969. MR 0262021 | Zbl 0193.32901

[6] O. Štěpánková I. M. Havel: Image space and its relationship to situation calculus. Tech. Rpt. No 9/1973, Institute of Computation Technique, Prague. (Cf. also Proc. Symp. MFCS, High Tatras 1973.) MR 0451928