1. Gedankenexperiments on Sequential Machines. Automata Studies;Moore;Annals Math. Studies,1956
2. Logic Testing and Design for Testability;Fujiwara,1985
3. Logic Design Principles with Emphasis on Testable Semicustom Circuits;McCluskey,1986
4. Digital Systems Testing and Testable Design;Abramovici,1990