Ануреев И.С. Формализмы для концептуального проектирования замкнутых информационных систем // № 7, 2016
