Вчера передавал хелло Мартину Одерскому (ученик Вирта, Scala и т.п.:http://people.epfl.ch/martin.odersky). Он не знал, что такое "марковская парадигма". Хотя в Scala пытается слить ООП и функциональное, плюс еще речь шла о pattern-matching.
Вот я и задумался: где первоисточник слов "марковский язык", "марковская парадигма".

Искал-искал, и нашел только это:
http://www.inr.ac.ru/~info21/qna.htm(2005). Еще раньше в своих лекциях. Еще раньше когда-то отклассифицировал (для внутреннего понимания) систему компьютерной алгебры SCHOONSCHIP как марковскую, т.к. чтобы научиться там программировать "что угодно", пришлось когда-то (начало 80-х) мозги вывернуть.
Основания теории вычислимости (где трактуется про "нормальные алгорифмы Маркова"; например, кажется, Мальцев), конечно, читал и читал давно (причем реально читал). Программеры таких книг, конечно, не читают, а заимствуют фразы для дальнейшего комбинирования друг у друга.

Есть, конечно, тексты Ильи Ермакова, но они, по ощущению, вторичные по отношению к указанной ссылке -- если нет, пусть И.Е. меня поправит. Например, какую-нибудь бы историческую фразу из прошлого насчет рефала, какой он марковский язык (а то даже в названии "ф" от "функц...").

Итак, где впервые на одном дыхании было сказано об "императивном, функциональном, марковском" программировании/парадигме/языках?

Обычно "императивное, функциональное, логическое...". Нужно, чтобы в едином смысловом ряду (не обязательно в одной строчке) было еще и "марковский" (ну, или хотя бы "сентенциальный" -- это прилагательное уже, видимо, достижение Ильи Евгеньевича).

Мелочь, а было бы приятно