Modellierung und Spezifikation am Beispiel des Nachrichtentransports in verteilten Systemen - Hehn, Uwe (Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), Friedrich-Alexander-Universität Erlangen Nürnberg, 1988)