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