Portner , Paul H. What is Meaning : Fundamentals of Formal semantes - U.S.Blackwell pub. 2006 - 235 ISBN: 9781405109178