Logic testing and design for testability / - Fujiwara, Hideo. (MIT Press,, 1985)