Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh. From formal specification to implementation: experience with protocol tools. In 1993 International Conference on Network Protocols, ICNP 1993, San Francisco, CA, USA, October 19-22, 1993, Proceedings. pages 280-288, IEEE, 1993. [doi]
Abstract is missing.