Máté Attila Jelzet: EA A 1050 Leltári szám: XKEP 1267
Matematikai Logikai és Automataelméleti Tanszéki Kutatócsoport