Automatická syntéza bezhazardných logických kombinačných. - Baltazarovič, Peter (STU v Bratislave FEI, 2001)