Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Програмні семантики

Аксіоматичні семантики