LOGIC DESIGN THEORY - NRIPENDRAN, BISWAS (2008)