И. Бурдонов, А. Косачев. Развитие теории конформности: семантики, формальные модели, алгоритмы. Труды Института системного программирования РАН, том 26-1, 2014 г., ISSN 2079-8156, с.27-72. 47 стр. doc, pdf, pdf_1