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.

: