What is meaning ?: fundamentals of formal semantics - Portner, Paul (Blackwell Pub., 2005)