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

Formale Methode für asynchrone Systeme
.טכנול	Formal methods for asynchronous systems