Akademik
data formalization
Вычислительная техника:
формализация данных
Универсальный англо-русский словарь
.
Академик.ру
.
2011
.