There's so much new to me in this paper that I think I have never before finished it through to the end. There's a speculation on automatic program transformation systems, a pointer to proving properties of programs containing gotos, a complete exagesis on Quicksort, fascinating glimpses into Knuth's mad inner-loop optimization skillz.
