https://bookem.ir/books/773796-Abstract-Recursion-and-Intrinsic-Complexity
Abstract Recursion and Intrinsic Complexity