
As someone who spent a lot of years observing software projects gone bad
You should check out this reference: (Apologies, you need access to the ACM Library to read the article) http://portal.acm.org/citation.cfm?id=299161. Robert Glass discusses this exact issue. The article offers some references to research done using alternative approaches to inspections.
A book I enjoyed as the text for Freshman seminar when I was in college was Niven and Zuckerman (now Niven, Zuckerman, and Montgomery) "An Introduction to the Theory of Numbers". This book might be a stretch for a good high school senior math student. But, it has a lot of interesting material and doesn't require any college level math as a pre-requisite. Besides, who doesn't like Number Theory.
"All my life I wanted to be someone; I guess I should have been more specific." -- Jane Wagner