SMS: Формации алгебраических систем