Gergely Tamás Programok Statikus és Dinamikus Analízise. Doctoral thesis (PhD), University of Szeged. (2010) (Unpublished)