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

formelle metoder for asynkrone systemer
.טכנול	Formal methods for asynchronous systems