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