Analysis of Sequential Logic Circuits - D. Pai; D. Lewin (Comput. J., 1974)