LOGIC IN COMPUTER SCIENCE : MODELLING AND REASONING ABOUT SYSTEMS, 2ND EDITION