%% You should probably cite draft-petithuguenin-computerate-specification instead of this I-D.
@techreport{petithuguenin-computerate-specifying-17,
    number =    {draft-petithuguenin-computerate-specifying-17},
    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-computerate-specifying/17/},
    author =    {Marc Petit-Huguenin},
    title =     {{The Computerate Specifying Paradigm}},
    pagetotal = 126,
    year =      2022,
    month =     aug,
    day =       7,
    abstract =  {This document specifies a paradigm named Computerate Specifying, designed to simultaneously document and formally specify communication protocols. This paradigm can be applied to any document produced by any Standard Developing Organization (SDO), but this document targets specifically documents produced by the IETF.},
}