Smolka, et al.. A Fast Compiler for Netkat. ACM Press, 2015, doi:10.1145/2784731.2784761.