In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman - Tannen, Val. (Springer Berlin Heidelberg,)