Specs for who though? For other engineers that could work, but specs are the interface between business and engineering when agreeing on work.
I doubt that my PM is going to like equations.
Have you seen Z notation? See also TLS+.
Yes I've been exploring both while writing about the idea. Not sure yet how complex we need the spec. to be in the end - but definitely more to explore on the area