Dealing with the Three Horrible Problems in Verification
Dill may-2008
Eight Ways To Bug Your Teacher by Ryan Alan Glasser.
Eight Ways To Bug Your Teacher