Новые методы конструирования программ межвузовский сборник научных трудов - Ершов А. П. (Новосибирск, Изд-во Новосибирского ун-та, 1986)