Update specification.tex
Merge pull request #1 from eskat/patch-1

Update specification.tex