David M. Kristol David Lee Arun N. Netravali Krishan K. Sabnani Efficient Gateway Synthesis from Formal Specifications. 89-97 1991 SIGCOMM http://doi.acm.org/10.1145/115992.116002 db/conf/sigcomm/sigcomm1991.html#KristolLNS91