Алгебраическая семантика: представление значения программы через алгебраические свойства и закономерности её операций.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.