Compiling natural semantics - Pettersson, Mikael (Springer, 1999)