I think documenting it as RFC 6979 is acceptable for now. It's a readable RFC that lays out the ASN.1 sequence unambiguously.