@techreport{price-rohc-formal-notation-00,
    number =    {draft-price-rohc-formal-notation-00},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-price-rohc-formal-notation/00/},
    author =    {Richard Price},
    title =     {{Formal Notation for Robust Header Compression (ROHC-FN)}},
    pagetotal = 40,
    year =      2003,
    month =     oct,
    day =       22,
    abstract =  {This document defines a proposal for the ROHC-FN: a formal notation for specifying how to compress and decompress fields from an arbitrary protocol stack. ROHC-FN is proposed with the intention of simplifing the creation of new compression profiles to fit within the ROHC {[}RFC-3095{]} framework.},
}