Compiling Natural Semantics - Mikael Pettersson ((Lecture Notes in Computer Science))