Borka, Zsuzsanna (1975) Formális eszközök nyelvek szintaxisának és szemantikájának definiálására. Masters, József Attila Tudományegyetem.