Angielski ⇄ Rosyjski +

high-level verification language akcenty
wojsk., lotn.	высокоуровневый алгоритмический язык для реализации функций проверки