I think in addition to a spec, an official test suite that's used to certify an implementation as compliant would also greatly help.