Theory of Programming Language (2010)
Keywords: U07CSE01