Telefona gönder: Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.