Huth, M Logic in computer science: Modelling and reasoning about systems - New Delhi Cambridge university Press 2004 - xiv, 427p. ISBN: 9780521670890