The depression book link you quoted is the number one recommendation. Whilst it is depression, it covers anxiety, and that book is a workbook.
There is also another good workbook Dead Link Removed which is more specific to anxiety and panic attacks.
Both are the major angles of PTSD, thus if you cover them both and work through their points, most will overlap, but you will literally master the majority of the issues in relation to your PTSD.
These are the exact skills I learnt and mastered over the years, which leads to my control over my PTSD symptoms and self-management. Learn to master the brain games you play with yourself, you remove a good majority of PTSD symptoms with that alone. It just takes 2 - 3 years for you to master them through practice and exposure. Some of the most symptomatic years of my life, yet longevity results as outlined in CBT books, speak for themselves for anyone who stuck with it and mastered the principles in self application.
Everything residual after that you deal with one issue at a time, but things are much easier and quicker to deal with when you remove 60% of the issues to begin with. Its why I also went after my worst trauma first. Sure... bad symptoms, but I accepted that and removed the worst issue first, which whilst hard, knocked away most other problems as a result. So instead of spending years playing with trauma, starting at the bottom and working my way up, which really the worst would just be counterproductive to everything I would have been doing the entire time, as it would have still been present and eating away at me... I started at the worst and then the rest just fell away. Six months of pain for years of gain.