In Search of Elegance in the Theory and Practice of Computation

Limsoon Wong, Leonid Libkin, Val Tannen