Automatic generation of Programmer Reference Manual and Device Driver from PSS