lecture-01.tex, Zeile 200: Folgender Link kann verwendet werden:
{\tiny Siehe \url{https://www.researchgate.net/profile/Christel-Baier/publication/267409804_Formale_Systeme_WS_20112012_Skript_zur_Vorlesung/links/54e24b020cf2966637965e77/Formale-Systeme-WS-2011-2012-Skript-zur-Vorlesung.pdf}}
