Harmath, László (1996) Logikai programok statikus analízise. Masters, József Attila Tudományegyetem.
Harmath, László (1994) PROLOG programok tanulása. BA/Bsc, József Attila Tudományegyetem.