English-Russian big polytechnic dictionary
исключение способом подстановки
substitution box — блок подстановки
substitution rule — правило подстановки
free substitution — свободная подстановка
substitution statement — оператор подстановки
technique of substitution — метод подстановки