1. Digital Systems Testing and Testable Design;Abramovici,1995
2. D.T. Blaauw, D.G. Saab, P. Banerjee, J.A. Abraham, in: Proceedings of the European Conference on Design Automation, 1991, pp. 329–333.
3. A Switch-Level Model and Simulator for MOS Digital Systems
4. Boolean Analysis of MOS Circuits
5. J. Casas, H. Yang, M. Khaira, M. Joshi, T. Tetzlaff, S. Otto, E. Seligman, in: Proceedings of the Twelfth International Conference on VLSI Design, 1999, pp. 310–317.