Varga Antal Hatékony eljárás Boole-függvények irredundáns normálformáinak előállítására. Régi típusú doktori értekezés, József Attila Tudományegyetem (1962-1999). (1979) (Kéziratban)