Programming Satan's Computer
-- Ross Anderson and Roger Needhamm, Book Series Lecture Notes in Computer Science, Volume 1000/1995.
"..we hope that the lessons learned from programming Satan's computer may be helpful in tackling the more common problem of programming Murphy's."