@booklet {Kovacs96staticslicing, title = {Static Slicing of JAVA Programs}, year = {1996}, publisher = {University}, author = {Gy. Kov{\'a}cs and F. Magyar and Tibor Gyim{\'o}thy} }