Create specification.md