Fundamentals of Programming Languages door E. Horowitz