И.Б.Бурдонов, А.С. Косачев. Удаление из спецификации неконформных трасс. Препринт Института Системного Программирования РАН, 2011 г., №23, 218 стр. 218 стр. doc, pdf, pdf_1