к проекту словника "Математической энциклопедии" по "Теоретическому программированию и алгоритмическим языкам"; приложен словник.