Большой англо-русский и русско-английский словарь
чистая процедура (процедура, текст которой в памяти не изменяется при ее выполнении)
pure procedure в энциклопедиях
чистая процедура (процедура, текст которой в памяти не изменяется при ее выполнении)