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