final version of specs updated and converted to tex/pdf