Теория и практика программного обеспечения ЭВМ: Тр. сов.-фр. симпоз. [Париж], сент. 1978 г. [В 2-х ч.] / Под ред. А. П. Ершова, И. В. Поттосина