1. V. M. Glushkov, Synthesis of Digital Automata [in Russian], Fizmatgiz, Moscow (1962).
2. V. M. Glushkov, “Automata theory and formal microprogram transformations,” Cybern. Syst. Analysis, Vol. 1, No. 5, 1–8 (1965). https://doi.org/10.1007/BF01071417.
3. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Symbolic Multiprocessing Methods [in Russian], Naukova Dumka, Kyiv (1980).
4. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Algebra, Languages, and Programming, 3rd ed. [in Russian], Naukova Dumka, Kyiv (1989).
5. E. L. Yushchenko, G. E. Tseitlin, V. P. Gritsai, and T. K. Terzyan, Multilevel Structured Program Design: Theoretical Foundations and Tools [in Russian], Finansy i Statistika, Moscow (1989).