1. У Гриса [3] нет "базовой схемы "полный проход"".
2. Это не "полный проход", а Ваш любимый линейный поиск (линейный просмотр, в терминах Дейкстры, [2], с. 146). Ищется первое НЕ real.
3. Тема не очень удачная. Внутренность цикла имеет вид x:=F(x). Такие примеры обычно решаются при изучении индуктивных функций (Кушниренко, [7]). А здесь индуктивные функции даже не упоминаются.