Format Specification in README