Verlag Logos BerlinOlaf Kummer × Referenznetze Olaf KummerLogos BerlinSoftcover2002 Axiomatic Systems in Concurrency Theory Olaf KummerLogos BerlinSoftcover2001 Axiomensysteme für die Theorie der Nebenläufigkeit Olaf KummerLogos BerlinSoftcover1996