[stipes]

I much prefer this treatment: http://rjlipton.wordpress.com/2010/06/26/stating-pnp-without...

However, it is more of a "p vs. np for non CS theory people".