@techreport{petithuguenin-ufmrg-formal-sexpr-06,
    number =    {draft-petithuguenin-ufmrg-formal-sexpr-06},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-petithuguenin-ufmrg-formal-sexpr/06/},
    author =    {Marc Petit-Huguenin},
    title =     {{A Formalization of Symbolic Expressions}},
    pagetotal = 53,
    year =      2025,
    month =     may,
    day =       4,
    abstract =  {The goal of this document is to show and explain the formal model developed to guarantee that the examples and ABNF in the "SPKI Symbolic Expressions" Internet-Draft are correct.},
}