Véges függvények elmélete egy Boole-függvény minimalizáló algoritmus általánosítása k-értékű függvényekre - Temesi Károly (1983)