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

logica Hoare
.טכנול	Hoare-logica f