Sequential logic (Prentice Hall, 1995)