И.Б.Бурдонов, А.С.Косачев. Верификация композиции распределенной системы. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.67-69. 2 стр. doc, pdf, ppt