Practical foundations for programming languages - Harper, Robert (Cambridge Cambridge University Press, 2013)
Keywords: Programming languages (Electronic computers)