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