Theoretical computer science 2 Lecture at University of Technology, Graz. Notes / transcript during winter term 2013/14. Lecturer Klinz. Compile with pdflatex notes.tex. best regards, prokls