Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle - Walther, Ludger (Kovač, 1997)
Zugl.: Neubiberg, Univ. der Bundeswehr München, Diss., 1996