Полный англо-русский словарь
Чистая процедура (процедура, текст которой в памяти не изменяется при ее выполнении)