Computer logic, testing and verification - Roth, John Paul (Digital System Design Series / Pitman Publishing., 1980)