אנגלית ⇄ רוסית +

specification and assertion language מתח
.תִכנו	язык спецификаций и утверждений (ssn); язык SPECIAL (ssn)