Updated specification.tex