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

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