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