Modern Compiler Implementation

Tiger in Stratego -- Compilation by Program Transformation
AndrewAppel, Modern Compiler Implementation in {ML, Java, C}, Addison-Wesley

Website