The study of programming languages - Stansifer (Prentice Hall, 1994)