Computational linguistics and formal semantics - Rosner, Michael (Cambridge Univ. Press, 1992)