Egorov, K. and Shalyto, A. 2008. The method of automata programs verification. Information and Control Systems. 5 (Oct. 2008), 15-21.