1. Podlovchenko, R.I., Hierarchy of Program Models, Programmirovanie, 1981, no. 2, pp. 3–14.
2. Podlovchenko, R.I., Semigroup Program Models, Programmirovanie, 1981, no. 4, pp. 3–13.
3. Podlovchenko, R.I., Automaton Semigroup Models of Programs, Programmirovanie, 2006, no. 6, pp. 1–9 [Programming Comput. Software (Engl. Transl.), 2006, vol. 32, no. 6, pp. 301–307].
4. Letichevsky, A.A., On Equivalence of Automata with a Finite Number of States on Free Monoids with Right Zero, Dokl. Akad. Nauk SSSR, 1968, vol. 182, no. 5.
5. Lisovik, L.P., Metalinear Schemes with Writing Constants, Programmirovanie, 1985, no. 2, pp. 29–38.