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