Combinational and sequential logic - Rice, Martin (Prentice Hall, 2001)