Formal semantics : an introduction - Cann, Ronnie (Cambridge textbooks in linguistics, 1993)