Анализ семантических свойств некоторых классов программ и сетей Петри
Ломазова Ирина Александровна. Анализ семантических свойств некоторых классов программ и сетей Петри : диссертация ... доктора физико-математических наук : 05.13.17.- Переславль-Залесский, 2001.- 263 с.: ил. РГБ ОД, 71 02-1/49-8