Ein denotationales Modell für parallele objektbasierte Systeme by Holger Naundorf | Menrva Books | MenrvaBooks