Added dspec.md