1. Z. Alexin, T. Gyimóthy and G. Kokai, IDT: Integrated System for Debugging and Testing Prolog Programs in Proceedings of the Fourth Symposium on Programming Languages and Software Tools, Hungary June 9–10, (1995) 312–323
2. M. Auguston, A language for debugging automation in: Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, June 1994, Knowledge Systems Institute, pp. 108–115.
3. D. Bartetzko, C. Fischer, M. Moller and H. Wehrheim, Jass-Java with Assertions in Workshop on Runtime Verification, 2001. held in conjunction with the 13th Conference on Computer Aided Verification, CAV’01
4. Z. Chen and B. Xu, “Slicing Object-Oriented Java Programs,” ACM SIGPLAN Notices, V.36(4): pp 33–40 April, 2001
5. P. Fritzson, M. Auguston and N. Shahmehri, “Using Assertions in Declarative and Operational Models of Automated Debugging,” The Journal of Systems and Software 25, 1994, pp 223–239