Generic Packet Descriptions Reading order: FT1 FT2 DT Conversion DTX DTXIns Subtree IPV4 Links Geest, Swierstra, "Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data" Geest, "A Verifed Low-Level Formatting EDSL in Agda"
