update spec tex

add citation, fix spelling, add to hpss section