The hardening of Pharaoh by Mark Copeland

Here's the link... Gary

http://executableoutlines.com/text/exo4_21.htm