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

Formale Methode für asynchrone Systeme
.טכנול	Méthodes formelles pour systèmes asynchrones