Jász Judit Függőség alapú statikus programszeletelés és közelítései. Doktori értekezés, Szegedi Tudományegyetem (2000-). (2009) (Kéziratban)