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

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