Koszorus, Zoltán (2006) Refaktoring helyek keresése, azonosítása C++ forráskódban logikai programozás segítségével. Masters, Szegedi Tudományegyetem.