Harmath, László (1996) Logikai programok statikus analízise. Masters, József Attila Tudományegyetem.
Zvada, Szilvia (1996) Attribútum nyelvtanok tanulása. BA/Bsc, József Attila Tudományegyetem.