Compilers Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do - Tofte, Mads ((EATCS Monographs on Theoretical Computer Science ;)