Gene Spafford
Email spaf@cs.purdue.edu