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