Logic design theory - Nripendra N Biswas (PHI New Delhi, 2009)