Deriving a Protocol Converter: A Top-Down Method.

Kenneth L. Calvert, Simon S. Lam

Browse the full SIGCOMM paper archive.