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)