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