add link to specifications.md