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