Формальные модели параллельных вычислений: сборник научных трудов - Котов В. Е. (Новосибирск, Изд-во ВЦ СО АН СССР, 1988)