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