1. Internet Protocol. RFC 791 (Proposed Standard), September 1981
2. Bangert, J., Zeldovich, N.: Nail: a practical tool for parsing and generating data formats. In: 11th USENIX Symposium on Operating Systems Design and Implementation (2014)
3. Bernardy, J.-P., Jansson, P.: Certified context-free parsing: a formalisation of valiant’s algorithm in agda. Logical Methods Comput. Sci. 12(2) (2016)
4. Borisov, N., Brumley, D., Wang, H.J., Dunagan, J., Joshi, P., Guo, C.: Generic application-level protocol analyzer and its language. In: NDSS 2007 (2007)
5. Brough, T.: Groups with poly-context-free word problem. Groups Complexity Cryptol. 6(1) (2014)