Automatický návrh viacstupňových bezhazardných logických kombinačných obvodov - Závodský, Marek (STU v Bratislave FIIT, 2004)