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

logique de Hoare
.טכנול	Hoare's logic
מחש.	Hoare logic