Combinational and sequential logic a hands an approach using programmable logic - Rice (Prentice Hall, 2001)