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

logica Hoare
.טכנול	lógica de HOARE