Математическая энциклопедия - программы схема

формальный конструктивный объект, получающийся из программы абстрагированием от лексич. особенностей использованного при ее записи формального языка программирования и от смысла элементарных действий и объектов, употребляемых в программе. П. с. изучаются в программировании теоретическом. А. П. Ершов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985