add dspec.pdf