https://bookem.ir/books/3365764-Limits-of-Computation-From-a-Programming-Perspective