1. 2017. Undefined behaviors - P416 Language Specification. https://p4.org/p4-spec/docs/P4-16-v1.0.0-spec.html#sec-undefined-behaviors. (2017). 2017. Undefined behaviors - P4 16 Language Specification. https://p4.org/p4-spec/docs/P4-16-v1.0.0-spec.html#sec-undefined-behaviors. (2017).
2. 2019. Introduction to NPLSpec. (2019). https://github.com/nplang/NPL-Spec. 2019. Introduction to NPLSpec. (2019). https://github.com/nplang/NPL-Spec.
3. OSNT: open source network tester
4. Barefoot-Networks. 2018. Barefoot Tofino. (June 2018). https://barefootnetworks.com/products/brief-tofino/ Barefoot-Networks. 2018. Barefoot Tofino. (June 2018). https://barefootnetworks.com/products/brief-tofino/
5. P4