Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme - Krumm, Heiko (Verfasser) (Universität Karlsruhe, 1984)