Теория схем программ - литература

[IHmG]

посоветуйте пожалуйста ... рекомендовали Рабинович "Теория вычислительных процессов и структур"... но к сожалению не могу найти в свободном доступе :(

[whitefox]

Котов В.Е., Сабельфельд В.К. Теория схем программ. Кликнуть номер 4768

[Yuri Gendelman]

Может пригодиться для начального чтения:
Ершов А.П. Введение в теоретическое программирование

[IHmG]

А где можно прочитать о проблеме свободы схем программ?

[Otta]

Там же. В Котове точно есть. Вы их только спрашиваете, не читаете?