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