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

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