Foundations for programming languages - Mitchell John C (Cambridge MIT Press, 1996)
Keywords: Computer programming; Programming languages