Технологии автоматического дедуктивного распараллеливания в языке Planning C
Владимир Викторович Пекунов
