Digital systing and testable design - Miron Abbamovici , Meivin A.Breuer and Arthur D.Friedman (Jaico, Mumbai, 2001)