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