Сокращенные системы: обзор и примеры