Designing Programs is often cited as a seminal work from Gerstner but this little beauty is another stunning piece of analysis and theory.