Formale Beschreibungstechniken für Kommunikationsprotokolle: Problemem ihrer praktischen Anwendung.