Abramovici/ Friedman Digital systems testing and testable design - Mumbai; Jaico Publication 2002 ENGLISH