R. I. Podlovchenko “Finitc Models and Algebraic Model of Programs”// International Workshop “Automata, algorithms and information technologies” (Kyev, May 19-21, 2010), Abstracts, Kiev, 2010, p. 19.