EGOROV, K.; SHALYTO, A. The method of automata programs verification. Information and Control Systems, n. 5, p. 15-21, 20 out. 2008.