Compiling Natural Semantics - Pettersson, Mikael; Pettersson, Mikael (Springer Berlin Heidelberg : Imprint: Springer, 1999)