1. The design procedure language manual;Batali;Massachusetts Institute of Technology, Artificial Intelligence Memo 598,1980
2. Diagnosis and Reliable Design of Digital Systems;Breuer,1976
3. Pedagogical and knowledge engineering techniques in SOPHIE I, II and III;Brown,1982
4. Expert systems: where are we and where do we go from here?;Davis;The AI Magazine,1982
5. Representing structure and behavior of Digital Hardware;Davis;IEEE Spectrum,1983