1. H. Agrawal and J. R. Horgan, “Dynamic Program Slicing”, Proc. ACM SIGPLAN'90, pp.246–256, 1990.
2. A. V. Aho, R. Sethi, and J. D. Ullman, “Compilers: Principles, Techniques, and Tools”, Addison-Wesley, 1986.
3. K. Araki, Z. Furukawa, and J. Cheng, “A General Framework for Debugging”, IEEE-CS Software, Vol.8, No.3, pp.14–20, 1991.
4. J. Cheng, “Logical Tool of Knowledge Engineering: Using Entailment Logic rather than Mathematical Logic”, Proc. ACM 19th Annual Computer Science Conference, pp.228–238, 1991.
5. J. Cheng, K. Araki, and K. Ushijima, “Development and Practical Applications of EDEN — An Event-Driven Execution Monitor for Concurrent Ada Programs”, Transactions of IPSJ, Vol.30, No.1, pp.12–24, 1989 (in Japanese).