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

Formale Methode für asynchrone Systeme
.טכנול	métodos formales para sistemas asíncronos