Automatický návrh logických kombinačných obvodov s integrovanými obvodmi SSI - Velecký, Michal (STU v Bratislave FIIT, 2006)