Contemporary Logic Design (2nd Edition)