Preklad zo špecifikačného jazyka HSL do vnútornej formy = Translation from specitication languange HSL to internal structure : Dipl.práca - Fukna, Henrich (STU v Bratislave FEI, 1999)