Szűgyi, Z. et al. 2011. 4D Ariadne the Static Debugger of Java Programs. Periodica Polytechnica Electrical Engineering. 55, 3-4 (Jan. 2011), 127–132. https://doi.org/10.3311/pp.ee.2011-3-4.05.