Computational linguistics and formal semantics - Johnson, Roderick; Rosner, Michael (Cambridge University Press, 1992)