Семантические методы анализа распределенных системКораблин, Ю. П., 1994, докторская диссертацияМосква357 стр.