1. Tsarev F. Induction of finite state machines using genetic programming with fitness based on testing // Information and Control Systems. 2010. № 5. C. 31-36.