https://filesoo.com/product/27266/computability-an-introduction-to-recursive-function-theory