HOL Англо-русский перевод HOL сокр. от higher-order language высокоорганизованный алгоритмический язык РУССО. Big English-Russian polytechnic dictionary Russo. Большой Англо-Русский политехнический словарь РУССО. 1997