%% You should probably cite draft-petithuguenin-computerate-specification-02 instead of this revision.
@techreport{petithuguenin-computerate-specification-00,
    number =    {draft-petithuguenin-computerate-specification-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-petithuguenin-computerate-specification/00/},
    author =    {Marc Petit-Huguenin},
    title =     {{Computerate Specification}},
    pagetotal = 24,
    year =      2023,
    month =     feb,
    day =       7,
    abstract =  {This document specifies computerate specifications, which are the combination of a formal and an informal specification such as parts of the informal specification are generated from the formal specification.},
}