И.Б.Бурдонов, А.С.Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН, N 17, 2009, стр.161-192. 32 стр. doc, pdf, pdf_1