Practical foundations for programming languages. - Harper Robert (Delhi CUP, 2013)
Keywords: I I C