1. A. A. Lyapunov and Yu. I. Yanov, “On logical schemes of programs,” in: Proc. Conf. “Paths of development of Soviet mathematical machine building and instrument making,” Part. 3 (1956), pp. 5–8.
2. Yu. I. Yanov, “On logical schemes of algorithms,” in: Problemy Kibernetiki, 1, Fizmatgiz, Moscow (1958), pp. 75–121.
3. V. M. Glushkov, “Automata theory and formal transformations of microprograms,” Cybernetics, No. 5, 1–9 (1965).
4. V. M. Glushkov and A. A. Letichevskii, “Theory of discrete transducers,” in: Selected Topics in Algebra and Logic, Nauka, Novosibirsk (1973), pp. 5–39.
5. D. C. Luckham, D. M. Park, and M. S. Paterson, “On formalized computer programs,” J. of Computer and System Science, 4, No. 3, 220–249 (1970).