Bán Dénes Static Source Code Analysis in Pattern Recognition, Performance Optimization and Software Maintainability. Doktori értekezés, Szegedi Tudományegyetem (2000-). (2018) (Kéziratban)