Замятин А.П., Ливчак А.Б. Элементы математической теории информационных систем: выразимость и вычислимость. Стр. 8-39. Начало см. http://livchak.narod.ru/Zamyatin0.doc

Далее см. http://livchak.narod.ru/Zamyatin2.doc