Hoare's Algorithmic Philosophy

Where logic meets madness.