Skupinová minimalizácia výrazov boolovských funkcií = Minimalization of boolean functions group : Diplomová práca - Drápal, Marek (STU v Bratislave FEI, 1997)