Abstraktion in ereignisbasierten Modellen verteilter Systeme. - Ruggero Constantini (Kovač, 1995)