Modellierung und Spezifikation von Diensten und Verhalten in verteilten Systemen. - Gotzhein, Reinhard (1985)