Practical foundations for programming languages [e-kniha] - Harper, Robert (Cambridge University Press, 2013)