Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme - Krumm, Heiko (1984)