1. Glushkov, V.M. and Letichevsky, A.A., Theory of discrete transducers, Vopr. Algebry Logiki, 1973, pp. 5–39
2. Ershov, A.P., Reducing the problem of saving memory when making programs to the problem of graph vertex coloring, Dokl. Akad. Nauk SSSR, 1962, vol. 142, no. 4, pp. 785–787.
3. Ershov, A.P., Current state of the theory of program schemes, Probl. Kibern., 1973, vol. 27, pp. 87–110.
4. Zakharov, V.A. and Novikiva, T.A., A time-polynomial algorithm for verifying the logical-thermal equivalence of programs, Tr. Inst. Sist. Progr., 2012, vol. 22, no. 4, pp. 435–455.
5. Zakharov, V.A. and Podymov, V.V., Application of equivalence checking algorithms for program optimization, Tr. Inst. Sist. Progr., 2015, vol. 27, no. 3, pp. 145–174.