Textbook Examples Verified Using The Spec# Programming System