Simulácia zápisu špecifikácie v HSL = Simulation of digital model specification in HSSL : Dipl.práca - Kluvanec, Dušan (STU v Bratislave FEI, 1998)