И.Б.Бурдонов, А.С.Косачев. Обобщённые семантики тестового взаимодействия. Труды Института системного программирования РАН, N 15, 2008, стр.69-106. 38 стр. doc, pdf, pdf_1