Update specification.tex