Not all major programming languages have specifications, and languages can exist and be popular for decades without a specification.
ALGOL 68 was the first (and possibly one of the last) major language for which a full formal definition was made before it was implemented.