SMS dit: Ч. 1; VII симпозиум по проблеме избыточности в информационных системах