Logic in computer science modelling and reasoning about systems - Huth, Michael & Ryan, Mark (Cambridge University Press, UK, 2004)