Prozeßalgebra und temporale Logik - angewandt zur Spezifikation und Analyse von komplexen Protokollen - Karjoth, Günter (1987)
Stuttgart, Univ., Diss.