Copyright (c) 1989-1996 by Gary T. Leavens. Permission is granted for you to make copies for educational and scholarly purposes, but not for direct commercial advantage, provided this notice appears on all copies. All other rights reserved. No guarantees or warranty for anything here. The examples directory available from http://www.cs.iastate.edu/~leavens/ComS228/examples/ is often referred to in the problems.