Inteligentný editor špecifikácií v jazyku HSL = Intelligent wditor for specification in HSL languange : Dipl.práca - Niom, Amadou Lamine (STU v Bratislave FEI, 1999)