Anglais ⇄ Russe +

Wirth syntax notation derivative contraintes
progr.	производная от синтаксической нотации Вирта (производная от синтаксической нотации Вирта, в которой определён синтаксис языка EXPRESS; см. ГОСТ Р ИСО 13584-26–2006 ssn); ПСНВ (производная от синтаксической нотации Вирта ssn)