И.Б.Бурдонов, А.С.Косачев. Системы с приоритетами: конформность, тестирование, композиция. Труды Института системного программирования РАН, N 14.1, 2008, стр.23-54. 32 стр. doc, pdf, pdf_1