The essence of compilers - Hunter (Essence of computers series, 1998)