IEEE/ACM Transactions on Networking, 1(1) February 1993

• Abbott, Mark B. and Peterson, Larry L. (1993) Abbott, Mark B. and Peterson, Larry L. "A language-based approach to protocol implementation"