Foundations of Programming Languages - Loeckx, Jacques (Wiley, 1988)