PacketTypes: abstract specification of network protocol messages (2000)

by P J McCann, S Chandra
Venue:In ACM Conference on Communications