Automatický návrh bezhazardných dvojstupňových logických kombinačných obvodov s viacerými výstupmi - Jůzl, Peter (STU v Bratislave FIIT, 2004)