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