英语 ⇄ 俄语 +

using assertions to document programs 强调
编程	использование утверждений для документирования программ (ssn)