1. Egorov K., Shalyto A. The method of automata programs verification // Information and Control Systems. 2008. № 5. C. 15-21.