In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman - Tannen, Val; Wong, Limsoon; Libkin, Leonid; Fan, Wenfei; Tan, Wang-Chiew; Fourman, Michael (Springer Berlin Heidelberg : Imprint: Springer, 2013)