Logic in Computers Science : Modelling And Reasoning About Systems - Michael Huth; Mark Ryan (Cambridge Cambridge University Press, 2004)