@online{ timsrc, author = "Lensch, Hendrik", title = "Vorlesung Informatik I, 31. Stunde", publisher = "Universität Tübingen", year = "2012", month = "Dec", day = "13", url = "https://timms.uni-tuebingen.de:443/tp/UT_20121213_001_info1b_0001", urldate = "2024-12-22" }