РАЗДЕЛ:  Computer Scienc.../ Теоретическое программирование/ Абстрактные типы данных; алгебраические специфика.../