Text this: Синтез параллельных программ и систем на вычислительных моделях