英语 ⇄ 俄语 +

formal specification of programming languages 强调
编程	формальное описание языков программирования (ssn)