Formal semantics: an introduction - Cann, Ronnie. (Cambridge University Press, 1993)