Elements of Formal Semantics - Winter Y. (Cambridge University Press, 2016)