1. The Go Authors. 2022. The Go Programming Language Specification. https://go.dev/ref/spec#Struct_types The Go Authors. 2022. The Go Programming Language Specification. https://go.dev/ref/spec#Struct_types
2. Julian Bangert and Nickolai Zeldovich . 2014 . Nail: A Practical Tool for Parsing and Generating Data Formats. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) . USENIX Association, Broomfield, CO, 615--628. https://www.usenix.org/conference/osdi14/technical-sessions/presentation/bangert Julian Bangert and Nickolai Zeldovich. 2014. Nail: A Practical Tool for Parsing and Generating Data Formats. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). USENIX Association, Broomfield, CO, 615--628. https://www.usenix.org/conference/osdi14/technical-sessions/presentation/bangert
3. Multi-Worker NFD
4. Augmented BNF for Syntax Specifications: ABNF
5. Narcissus: correct-by-construction derivation of decoders and encoders from binary formats