אנגלית ⇄ אוקראינית איטלקית אספרנטו גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

axiomatic semantics
.טכנול	Floyd-Hoare-Semantik f; Hoarsche Semantik; axiomatische Semantik