Logic Design Theory - Biswas, Nripendra N. (New Delhi PHI, 2004)