A language-based approach to protocol implementation (1993)

by M B Abbott, L L Peterson
Venue:IEEE/ACM Transactions on Networking