Verification Mind Games

Author(s):
Jeffrey Montesano and Mark Litterick