אנגלית ⇄ גרמנית סינית צרפתית רוסית +

Hoare logic
.תקשור	★ 霍尔逻辑