By that argument the other languages mentioned are impossible to understand since they don't have a spec, except for Go again.
No. The other languages have documented semantics too. Just happens that C's are in the shape of a standards document.