Update SPECIFICATION.md

added some user stories.