Horváth Gyula
Automaták kategóriákban.
Régi típusú doktori értekezés, József Attila Tudományegyetem (1962-1999).
(1978) (Kéziratban)