Англійська ⇄ Іспанська Італійська Грецька Данська Есперанто Китайська Нідерландська Німецька Португальська Російська Українська Французька Фінська Шведська +

axiomatic semantics
IT	Floyd-Hoare-Semantik f; Hoarsche Semantik; axiomatische Semantik