Computer Logic, testing and verification. - Roth, John Paul (Digital System Design Series., 1980)