Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster: Petr4: Formal Foundations for P4 Data Planes. CoRR abs/2011.05948 (2020)