Jász Judit Függőség alapú statikus programszeletelés és közelítései. Doctoral thesis (PhD), University of Szeged. (2009) (Unpublished)