https://bookem.ir/books/2580106-Algebraic-Computability-and-Enumeration-Models