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