Виноват. Это было статистическое утверждение, без квантора общности.
Статистически программеры слишком рано и слишком сильно забуряются в мануалы, и более всего борются с "мусорными знаниями".
Собственно, те, кто не забуряется, те уже и не программеры, а нормальные люди

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

К сожалению марковские цепи нам в универе почему-то не давали - это проехало мимо меня.
Теперь посмотрю внимательно.

У новосибирцев теория преломлена через свои работы - теория схем программ, оптимизация программ, САПР и т.п. В последней книге разобраны методы построения чертежей разных классов графов и прочая практически нигде больше не разбиравшаяся интересная конкретика.

Ага, Кауфман с ВМК. С 90-х в Хельсинках (по-моему)

Но на SCHOONSCHIP Кауфман не ссылается. Плохо знают теоретики прикладные области. А вещь сильная, существует с 1967 г. Сейчас, правда, больше квази-коммерческий клон FORM-*.

Кстати, по-поводу FORM-а: 29-11-2010: World's most powerful symbolic manipulation computer program FORM, developed at Nikhef, is now available as open source