Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme - Weber, Rainer (1992)
Zugl.: München, Techn. Univ., Diss., 1992