Added reference and formalised the first two user stories.