Formal semantics: the essential readings - Portner, Paul M. and Partee, Barbara H., Eds. (Wiley, 2002)