Formale Semantik und natürliche Sprache einführendes Lehrbuch - Lohnstein, Horst 1958- (Westdt. Verl., 1996)