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

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