Logic in computer science modelling and reasoning about systems - Huth, Michael; Ryan, Mark (Cambridge Cambridge University Press, 2000)
Keywords: Logic In Computer Science, 2. Modelling And Reasoning About Systems