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

Methode des induktiven Programmbeweises
.טכנול	inductive assertion method