Refined SpecDoc and removed all comments. Slides were altered a bit.