Practical foundations for programming languages - Harper, Robert (Verfasser) (Cambridge University Press, 2016)