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