A co-worker once said: a good language specification should allow others to derive an independent implementation of the language.