The full text of my Introduction to the Theory of Programming Languages book (second printing, 1991) is now available.