Update specification.tex

- Progress report updated.