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