И.Б.Бурдонов, А.С.Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. "Программирование", -2009,  №6, стр 3-18. 16 стр. doc, pdf