There is a spec, just not a formal fixed in time one. There's only one reference implementation so that might as well be taken as the de-facto spec.