C. Faragó and T. Gergely, “Handling pointers and unstructured statements in the forward computed dynamic slice algorithm”, Acta Cybern, vol. 15, no. 4, pp. 489-508, Jan. 2002.