TOASSA is indeed a book every responsible software engineer has to read these days. Apart from finding bugs, this book is extremely helpful in understanding how bugs come to be, and hints on ways to avoid them.