Введение в формальные методы описания бизнес-процессов. Кулябов Д.С