Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем - Ершов А. П. (Москва, Наука, 1982)