英语 ⇄ 俄语 +

theory of machine-independent programming languages 强调
编程	теория платформо-независимых языков программирования (nsa.gov Alex_Odeychuk)