Б. ГринФормализм для упрощения сложной задачи поиска приближенного решения, в процессе которого решение последовательно уточняется путем систематического учета информации, полученной на предыдущих этапах.