Buza, Antal (1979) Boole-függvény minimalizáló eljárások bonyolultsága. Egy általános minimalizáló módszer. Masters, József Attila Tudományegyetem.