В.Е. Котов, Л.А. Черкасова (Новосибирск) "Унификация логических средств при описании процессов и верификации их свойств".
