Logic in computer science modelling and reasoning about systems - Huth, Michael 1962-; Ryan, Mark 1962- (Cambridge Univ. Press, 2001)