Textbook Examples Verified Using Spec#

<P>This document requires frames....get them - it's worth it!