Simulácia zápisu špecifikácie v HSSL = Design and implement simulator of digital system described in formal : Dipl.práca - Kardoš, Martin (STU v Bratislave FEI, 1998)