TeX conversion wssspe2014-assessment