Я сначала встретил этот термин у Фёдора Васильевича; потом познакомился с Рефалом; потом - с книгой Непейводы; и, наконец, с книгой Кауфмана, где выделяются фон-неймановская, функциональная и марковская парадигмы (последняя называется "Модифицированная модель Маркова" и "модель М").

Про Рефал у Кауфмана так изложено:

> -- Цитата:
> Тут уместно вспомнить язык нормальных алгоритмов Маркова (для единообразия назовем этот язык моделью Маркова).   Охарактеризуем эту модель с точки зрения нашей концептуальной схемы. Базис:  единственный  скалярный  тип  данных -  литера;  единственная  базисная операция -  поиск-подстановка;  единственная  структура  данных -  строка (текст); единственная структура операций - цикл по подстановкам.  Развитие: Явных средств нет. Только моделированием.   Дальнейший анализ модели можно предложить в качестве упражнения. В модели Маркова анализ структуры встроен в исполнитель и управляется левой частью подстановки. Синтез структуры отделен от анализа - он управляется правой частью  подстановки.  Исполнитель  распознает  тривиальную   структуру (слово), указанную слева, и заменяет ее столь же тривиальной структурой (словом), указанной справа. С точки зрения нашей задачи эта модель недостаточно развита. Дело в том, что вид  распознаваемых  структур  слишком  тривиален.  Хотелсь  бы  приблизить  средства описания вида структур, скажем, к БНФ. Шаги в нужном направлении сделаны в языке, созданном в ИПМ АН СССР в 1966-68 г.г. и получившем название "рефал" (рекурсивных функций  алгоритмический  язык).  В  его  основу  положены  следующие  три  модификации модели Маркова.   2.2.2. Три основные модификации модели Маркова (введение в рефал) Мы  изложим  модель  М  языка программирования,  особенно  интересного  с  точки зрения  нашей  концептуальной  схемы  потому,  что  он  был  задуман  и  реально используется  как  средство  для  эффективного  определения  других  языков (другими словами, в него заложены достаточно мощные средства развития).      Первая модификация состоит в том, что в качестве (по-прежнему единственной) базисной  структуры  данных  вместо  произвольной  строки (слова)  используется  так называемое "выражение" - строка, сбалансированная по скобкам. Вторая  модификация   касается  подстановки.  Ее  левая  часть  должна  быть  так называемым  функциональным  термом  с  возможными  переменными.  Правая  часть  должна быть  выражением,  в  котором  можно  использовать  переменные  из  левой  части подстановки (и только их).  Третья  модификация  касается  поиска  применимой  подстановки.  В  отличие  от модели Маркова, где заранее не фиксируется заменяемая часть обрабатываемого слова, в  рефале  заменяемая  часть  обрабатываемого  выражения   фиксируется  перед  поиском применимой подстановки - это всегда так называемый ведущий функциональный терм. Применимой  считается  подстановка  с  минимальным  номером,  левая  часть  которой согласуется  с  ведущим  термом.  Другими  словами,  применима  такая  подстановка,  в левой части которой указан общий вид структуры (образец), частным случаем которой оказался ведущий терм.