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