Szűgyi, Z., Forgács, I., Porkoláb, Z. “4D Ariadne the Static Debugger of Java Programs”, Periodica Polytechnica Electrical Engineering, 55(3-4), pp. 127–132, 2011. https://doi.org/10.3311/pp.ee.2011-3-4.05