Computational linguistics and formal semantics - Johnson, Roderick; Rosner, Michael (Studies in natural language processing, 1992)