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

formelle metoder for asynkrone systemer
.טכנול	Formale Methode für asynchrone Systeme