Ein denotationales Modell für parallele objektbasierte Systeme

Bok av Naundorf