LOGICS FOR COMPUTER SCIENCE - SECOND EDITION