Logic in computer science : modelling and reasoning about systems - Huth, Michael, 1962- (Cambridge University Press, 2004)