Text this: Dynamický prekladač zápisu špecifikácie z HSSL jazyka