Foundations of programming languages - Loeckx, Jacques, 1931- (J. Wiley, 1988)