Електронний каталог: Тезаурус - Рубрика: теория программирования (программные алгебры, программология)