Computational linguistics and formal semantics /
Rosner, Michael.
Johnson, Roderick.
Cambridge : Cambridge University Press,
1992.