1. Fault diagnosis in synchronous sequential circuits based on an effect-cause analysis;Abramovici;IEEE Trans. Comput.,1982
2. Instruction set processor specifications (ISPS): The notation and its applications;Barbacci;Carnegie-Mellon University Tech. Rept. CMU-CS-79-123,1979
3. The design procedure language manual;Batali;MIT AI Memo 598,1980
4. Computer Structures: Readings and Examples;Bell,1971
5. Diagnosis and Reliable Design of Digital Systems;Breuer,1976