Німецька ⇄ Іспанська Італійська Англійська Грецька Данська Нідерландська Португальська Французька Фінська +

Formale Methode für asynchrone Systeme
IT	Méthodes formelles pour systèmes asynchrones