• Vektorový editor automatů 

      Autor: Kříž Milan; Vedoucí práce: Žďárek Jan; Oponent práce: Lahoda Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)