Návrh a implementácia programového systému na syntézu a simuláciu kombinačných logických obvodov - Prokša, Martin (STU v Bratislave FEI, 2003)