Heinz Jürgen Burkhardt Hans Eckert Rainer Prinoth Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. 610-645 1985 conf/kivs/1985-1 Kommunikation in Verteilten Systemen (1) db/conf/kivs/kivs85-1.html#BurkhardtEP85