You can't 100% spec something out in natural language without ending up with the actual code. The code is the natural language spec expressed with all the ambiguities removed.