Mark B. Abbott Larry L. Peterson A Language-Based Approach to Protocol Implementation. 27-38 1992 SIGCOMM http://doi.acm.org/10.1145/144179.144201 db/conf/sigcomm/sigcomm1992.html#AbbottP92