Вычислительные процессы: теория трансляции, управление данными и сети Петри. + CD. Лукин В. Н. , Чернышов Л. Н