From: Bakul Shah
What counts as a "formal spec"?
If you aren't familiar with the work in the field (it's been going on long
enough, it was around when I was an undergrad), some of the earlier messages
in the thread, e.g.:
https://minnie.tuhs.org//pipermail/tuhs/2018-August/014365.html
might provide some thing you could follow. (I'm not into that stuff, so I
point you in the right direction.)
Noel