In Search of Elegance in the Theory and Practice of Computation - Tannen (Springer Berlin Heidelberg, 2013)