Полный англо-русский словарь
Сокр. [higher-order language] высокоорганизованный алгоритмический язык
hol
Hol