Heinz-Dieter Hümmer, Walter Geisselhardt: New Aspects in High-Level Specification, Verification, and Design of IT Protocols. SBCCI 2001: 58-63