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

Formale Methode für asynchrone Systeme
IT	métodos formales para sistemas asíncronos