• Vizualizace konečných automatů 

      Autor: Lessner Petr; Vedoucí práce: Janoušek Jan; Oponent práce: Poliak Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-02-06)