Stroustrup objects to adding Contracts to C++

[Richard (Rikki) Andrew Cattermole]

For anyone in the know, I'm looking for a couple of books on contracts 
on the theory side, that isn't too language specific.

I found good ones on classes, but now I need contracts.