Лавров Олександр Анатолійович. Моделювання гнучких дискретно-подійних систем на основі методів з комбінованою семантикою : Дис... д-ра наук: 05.03.07 - 2000.