Semantics with applications : a formal introduction - Nielson, Hanne Riis, 1954- (John Wiley & Sons, 1992)