@online{
   timsrc,
   author = "Lange, Klaus-Jörn",
   title = "Vorlesung Theoretische Informatik, 33. Stunde",
   publisher = "Universität Tübingen",
   year = "2020",
   month = "Jun",
   day = "30",
   url = "https://timms.uni-tuebingen.de:443/tp/UT_20200630_001_theoinf_0001",
   urldate = "2024-04-26"
}