https://9dok.net/document/yev6rpre-theory-of-computer-science-while-computability-gabriele-oger.html