Principles of programming languages - Sachin Kumar (S. K. Kataria & Sons, 2013)