Gombás, Éva (1979) Programozási nyelvek szemantikájának megadása logikai úton. Masters, József Attila Tudományegyetem.