* UPOL skripta (není tam vše?) {{YZTI:zti.pdf}}
  * zápisky UPOL studentů 2012 z "formálů" [[https://github.com/honz4/fjaa-prednasky]]
  * [[http://kti.mff.cuni.cz/~bartak/automaty/index.html]]
  * [[http://www.wolframalpha.com/examples/LogicSetTheory.html]]