Digital systems testing and testable design - Breuer, Melvin A.; Friedman, Arthur D.; Abramovici, Miron