Principles of Programming Languages - Dowek, G. (New York: Springer, 2009)
Keywords: Computer programming, programs & data