1. Gill, A., Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962.
2. Yakubaitis, E.A., Vasyukevich, V.O., Gobzemis, A.Yu., Zaznova, N.E., Kurmit, A.A., Lorents, A.A., Petrenko, A.F., and Chapenko, V.P., Automata theory, Itogi Nauki Tekh., Ser.: Teor. Veroyatn. Mat. Stat. Teor. Kibern., 1976, vol. 13, pp. 109–188.
3. Polikarpova, N.I. and Shalyto, A.A., Avtomatnoe programmirovanie (Automata-Based Programming), St. Petersburg: Piter, 2008.
4. Tukkel’, N.I. and Shalyto, A.A., Diesel generator control system (excerpt). http://is.ifmo.ru/projects/dg.
5. Tukkel’, N.I. and Shalyto, A.A., Tank control system for the Robocode game. http://is.ifmo.ru/projects/tanks.