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