David P. Anderson Lawrence H. Landweber A grammar-based methodology for protocol specification and implementation. 63-70 1985 conf/sigcomm/1985 SIGCOMM https://doi.org/10.1145/319056.319006 https://doi.org/10.1145/318951.319006 db/conf/sigcomm/sigcomm1985.html#AndersonL85