Logic in computer science Modelling and reasoning about systems - Huth, Michael, 1962-; Ryan, Mark, 1962- (Cambridge, 2000)