Gergely Tamás Programok Statikus és Dinamikus Analízise. Doktori értekezés, Szegedi Tudományegyetem (2000-). (2010) (Kéziratban)