I have various TI DSP documentation but also have AT&T DSPs, in particular, the DSP16. The DSP32C was much more popular however.