Tier automation representation of communication protocols. - Zamir Bavel; Jerzy W. Grzymala-Busse; Yen-Teh Hsia; Rodolfo Mancisidor-Landa (SIGCOMM, 1986)