The study of programming languages - STANSIFER (Prentice Hall, 1995)