@article {FaGe2, title = {Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm}, journal = {Acta Cybernetica}, volume = {15}, year = {2002}, pages = {489-508}, author = {Cs. Farag{\'o} and Tam{\'a}s Gergely} }