A useful introduction (and indeed full tutorial) on the theory of compilers. Looks like hard going towards the end.