I'm teaching a C++ class to high-school students starting this October, and would love to hear your book recommendations. I'm looking for something that explicitly incorporates modern C++ features ...

Most OO practitioners recognize the value of Design by Contract as a methodology for improving software quality. It is at the heart of the Eiffel language and the Object Constraint Language of UML.