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

logique de Hoare
.טכנול	Hoaresche Logik
מחש.	Hoare-Logik f