Writing a Formal IT Specification [pdf]

I'm not sure if you would call this a formal specification but I find the Go Language Reference (https://go.dev/ref/spec) quite approachable compared to other language specifications (looking at you C).