This is a reminder for me: Watch for this book! He also has some interesting things linked on his homepage.
Aside: Richard, I want one! Who's the publisher?
Aside: Rob, if you still read this blog, this may be a book for one of your classes. It looks like Richard uses your method for "proving" how something works.