Bernd Hofmann Analyse und Optimierung von Protokoll-Spezifikationen. 568-584 1991 conf/kivs/1991 Kommunikation in Verteilten Systemen db/conf/kivs/kivs91.html#Hofmann91