> -- Илья Ермаков писал(а):
> ... с книгой Кауфмана, где выделяются фон-неймановская, функциональная и марковская парадигмы (последняя называется "Модифицированная модель Маркова" и "модель М").Значит, Кауфман.

Кауфман -- это же ВМК МГУ? Если так, то б.-м. понятно: это, так сказать, сокровенное знание "советского" домена.
Книгу Мальцева Кауфман наверняка тоже знал, дальше логика в одно касание.

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